Search results for: Fausto Giunchiglia
Journal on Data Semantics > 2019 > 8 > 4 > 219-234
Neural Computing and Applications > 2019 > 31 > 9 > 5629-5639
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 1-15
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Applications > 284-293
Lecture Notes in Computer Science > Intelligent Agents II Agent Theories, Architectures, and Languages > 65-78
Lecture Notes in Computer Science > The Semantic Web > Research Track > 666-679
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 46-58
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 425-439
Lecture Notes in Computer Science
Lecture Notes in Computer Science > The Semantic Web: Research and Applications > Ontologies and Reasoning Track > 121-136