On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Living Documents - Micro Servers for Documents
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Tackling inconsistencies in data integration through source preferences
Proceedings of the 2004 international workshop on Information quality in information systems
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data integration: a logic-based perspective
AI Magazine - Special issue on semantic integration
Reusing relational sources for semantic information access
Proceedings of the ACM first Ph.D. workshop in CIKM
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
Towards a service requirements modelling ontology based on agent knowledge and intentions
International Journal of Agent-Oriented Software Engineering
English Querying over Ontologies: E-QuOnto
AI*IA '07 Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing
Data integration for the semantic web with full preferences
Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency
IDEAL '08 Proceedings of the 9th International Conference on Intelligent Data Engineering and Automated Learning
On Temporal Properties of Knowledge Base Inconsistency
Transactions on Computational Science V
Extended Pawlak's Flow Graphs and Information Theory
Transactions on Computational Science V
A Semantical Account of Progression in the Presence of Defaults
Conceptual Modeling: Foundations and Applications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Automatic Extraction of Ontologies Wrapping Relational Data Sources
DEXA '09 Proceedings of the 20th International Conference on Database and Expert Systems Applications
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Query evaluation and progression in AOL knowledge bases
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
EQL-lite: effective first-order query processing in description logics
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Embedding non-ground logic programs into autoepistemic logic for knowledge-base combination
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Prolegomenon to a theory of conservative belief revision
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
From knowledge-based programs to graded belief-based programs, part II: off-line reasoning
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A semantical account of progression in the presence of defaults
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
On the use of matrices for belief revision
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Using dynamic semantic network to construct knowledge base
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Quantifying knowledge base inconsistency via fixpoint semantics
Transactions on computational science II
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
A semantic characterization of a useful fragment of the situation calculus with knowledge
Artificial Intelligence
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic (TOCL)
Confluent Term Rewriting for Only-knowing Logics
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Knowledge management revisited: Old Dogs, New tricks
ACM Transactions on Management Information Systems (TMIS)
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Towards top-k query answering in description logics: the case of DL-Lite
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Logical foundations for data integration
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
On progression and query evaluation in first-order knowledge bases with function symbols
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Correct Reasoning
Preference-based integration of relational databases into a description logic
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
Knowledge Bases Over Algebraic Models: Some Notes About Informational Equivalence
International Journal of Knowledge Management
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Bounded epistemic situation calculus theories
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Horn clause contraction functions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |