Relative knowledge in a distributed database
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Applications of a logic of knowledge to motion planning under uncertainty
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Reducing query answering to satisfiability in nonmonotonic logics
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Computing Surveys (CSUR)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Querying Temporal Constraint Networks: A Unifying Approach
Applied Intelligence
Being Logical About Desert Island Reading
Automated Software Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
An Open Framework for Cooperative Problem Solving
IEEE Expert: Intelligent Systems and Their Applications
A Logic for Anytime Deduction and Anytime Compilation
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Logical Framework for Knowledge Sharing in Multi-agent Systems
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
A Logic for Approximate First-Order Reasoning
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
The description logic handbook
Knowledge as a tool in motion planning under uncertainty
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
A tractable knowledge representation service with full introspection
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
The consistency of syntactical treatments of knowledge
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Steps towards a first-order logic of explicit and implicit belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Knowledge-based assessment of behavior in dynamic environments
Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
The dream of a global knowledge network—A new approach
Journal on Computing and Cultural Heritage (JOCCH)
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
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Declarative Agent Languages and Technologies VI
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
Managing Co-reference Knowledge for Data Integration
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
Extending reflective architectures
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
A formal account of self-knowledge and action
IJCAI'89 Proceedings of the 11th international joint 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
An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON
IJCAI'85 Proceedings of the 9th international joint conference on Artificial 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
Nonmonotonic databases and epistemic queries
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
A model of decidable introspective reasoning with quantifying-in
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
The complexity of theory revision
Artificial Intelligence
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
Reconciling description logics and rules
Journal of the ACM (JACM)
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Modeling of the role-based access control policy with constraints using description logic
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Towards a Functional Approach to Modular Ontologies using Institutions
Proceedings of the 2010 conference on Modular Ontologies: Proceedings of the Fourth International Workshop (WoMO 2010)
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
All i know: an abridged report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid framework for representing uncertain knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Logical task modelling for man-machine dialogue
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Efficient propositional constraint propagation
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Minimal belief and negation as failure: a feasible approach
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Towards knowledge-level analysis of motion planning
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
The interaction between assertional and terminological knowledge in krypton
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Epistemic querying of OWL knowledge bases
ESWC'11 Proceedings of the 8th extended semantic web conference on The semantic web: research and applications - Volume Part I
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
Towards controlled query evaluation for incomplete first-order databases
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
The Logic Of Only Knowing As A Unified Framework For Non-Monotonic Reasoning
Fundamenta Informaticae
An ontology derived from heterogeneous sustainability indicator set documents
Proceedings of the Seventeenth Australasian Document Computing Symposium
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Decidable reasoning in a logic of limited belief with introspection and unknown individuals
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Hi-index | 0.00 |