A semantic decomposition of defeasible logics
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A declarative approach to business rules in contracts: courteous logic programs in XML
Proceedings of the 1st ACM conference on Electronic commerce
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Automated negotiation from declarative contract descriptions
Proceedings of the fifth international conference on Autonomous agents
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
Executable declarative business rules and their use in electronic commerce
Proceedings of the 2002 ACM symposium on Applied computing
Embedding Defeasible Logic into Logic Programs
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Relating Defeasible Logic to Extended Logic Programs
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Multiagent Compromises, Joint Fixpoints, and Stable Models
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Comparison of Sceptical NAF-Free Logic Programming Approaches
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic Rule Systems on Top of Ontology Layers
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
A Logic-based Knowledge Representation for Authorization with Delegation
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
A policy based system to incorporate self-managing behaviors in applications
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Graphs and colorings for answer set programming with preferences
Fundamenta Informaticae
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Handling defeasibilities in action domains
Theory and Practice of Logic Programming
Two results for prioritized logic programming
Theory and Practice of Logic Programming
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
DR-BROKERING: A semantic brokering system
Knowledge-Based Systems
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies
Data & Knowledge Engineering
Building place ontologies for the semantic web:: issues and approaches
Proceedings of the 4th ACM workshop on Geographical information retrieval
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Argumentation semantics for defeasible logics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
A framework for combining rules and geo-ontologies
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation in the DR-DEVICE system
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Proof explanation for the semantic web using defeasible logic
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Assumption-based argumentation for closed and consistent defeasible reasoning
JSAI'07 Proceedings of the 2007 conference on New frontiers in artificial intelligence
Hybrid reasoning with rules and ontologies
Semantic techniques for the web
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
A graphical rule authoring tool for defeasible reasoning in the semantic web
PCI'05 Proceedings of the 10th Panhellenic conference on Advances in Informatics
Rules and ontologies in f-logic
Proceedings of the First international conference on Reasoning Web
Preference-driven querying of inconsistent relational databases
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
A visual environment for developing defeasible rule bases for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
A non-monotonic expressiveness extension on the semantic web rule language
Journal of Web Engineering
Prioritized repairing and consistent query answering in relational databases
Annals of Mathematics and Artificial Intelligence
Graphs and Colorings for Answer Set Programming with Preferences
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Hi-index | 0.00 |