Distributed diagnosis by vivid agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Strategies in Combined Learning via Logic Programs
Machine Learning - Special issue on multistrategy learning
Representing and reasoning about concurrent actions with abductive logic programs
Annals of Mathematics and Artificial Intelligence
Building a knowledge base: an example
Annals of Mathematics and Artificial Intelligence
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
‘Classical’ Negation in Nonmonotonic Reasoning and Logic Programming
Journal of Automated Reasoning
Coherence Approach to Logic Program Revision
IEEE Transactions on Knowledge and Data Engineering
A Rewriting Method for Well-Founded Semantics with Explicit Negation
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Compiling Default Theory int Extended Logic Programming
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Efficient Argumentation Framework for Negtiating Autonomous Agents
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Partial Models of Extended Generalized Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
Belief revision via Lamarckian evolution
New Generation Computing
Theory and Practice of Logic Programming
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Explicit and default negation in databases and logic programs
Proceedings of the 2nd SIGMOD PhD workshop on Innovative database research
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Extended RDF as a semantic foundation of rule markup languages
Journal of Artificial Intelligence Research
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
ISWC '09 Proceedings of the 8th International Semantic Web Conference
An argumentation-based negotiation for distributed extended logic programs
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A system for defeasible argumentation, with defeasible priorities
Artificial intelligence today
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic (TOCL)
MWeb: A principled framework for modular web rule bases and its semantics
ACM Transactions on Computational Logic (TOCL)
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Supporting open and closed world reasoning on the web
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Revision programs with explicit negation
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Strong negation in well-founded and partial stable semantics for logic programs
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
A rule based knowledge transaction model for mobile environments
Information Sciences: an International Journal
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
Belief Revision in Non-Monotonic Reasoning and Logic Programming
Fundamenta Informaticae
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |