A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
The complexity of logic-based abduction
Journal of the ACM (JACM)
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic
Artificial Intelligence Review
Constraints on extensions on a default theory
Journal of Computer Science and Technology
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
Current Approaches to Handling Imperfect Information in Data and Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Representing Belief Revision through Default Theories
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Pragmatic Reasoning: Inferring Contexts
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Some Heuristics for Default Knowledge Discovery
RSCTC '98 Proceedings of the First International Conference on Rough Sets and Current Trends in Computing
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Evaluating the effect of semi-normality on the expressiveness of defaults
Artificial Intelligence
Hybrid argumentation systems for structured news reports
The Knowledge Engineering Review
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming
A modal logic framework for multi-agent belief fusion
ACM Transactions on Computational Logic (TOCL)
Guest Editorial: Argumentation in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
A note on the utility of incremental learning
AI Communications
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Monotonic Variable Consistency Rough Set Approaches
International Journal of Approximate Reasoning
On the semantics of supernormal defaults
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Graph theoretical characterization and computation of answer sets
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Constrained and rational default logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Simulating belief systems of autonomous agents
Decision Support Systems
Proving quantified literals in defeasible logic
Information Sciences: an International Journal
Multi-context systems with activation rules
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Nonmonotonic logics and their algebraic foundations
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Dually structured concepts in the semantic web: answer set programming approach
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
A Default Logic Based On Epistemic States
Fundamenta Informaticae
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.00 |