ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
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
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
ACM Computing Surveys (CSUR)
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Relating defeasible and normal logic programming through transformation properties
Theoretical Computer Science
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
Logic and choice: a perspective on belief revision and nonmonotonic reasoning
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Relating Defeasible and Default Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Comparison of Sceptical NAF-Free Logic Programming Approaches
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Relationship between Defeasible Logic and Well-Founded Semantics
LPNMR '01 Proceedings of the 6th 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 Denotational Semantics of Defeasible Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Argument-based applications to knowledge engineering
The Knowledge Engineering Review
A tutorial on default reasoning
The Knowledge Engineering Review
Formalizing defeasible logic in CAKE
Fundamenta Informaticae
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
A model-based approach to integrating security policies for embedded devices
Proceedings of the 4th ACM international conference on Embedded software
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Using assumptions in service composition context
Proceedings of the 2006 international workshop on Service-oriented software engineering
Process modelling: the deontic way
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
DR-Prolog: A System for Defeasible Reasoning with Rules and Ontologies on the Semantic Web
IEEE Transactions on Knowledge and Data Engineering
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
DR-BROKERING: A semantic brokering system
Knowledge-Based Systems
Strategic argumentation: a game theoretical investigation
Proceedings of the 11th international conference on Artificial intelligence and law
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies
Data & Knowledge Engineering
A context-aware meeting alert using semantic web and rule technology
International Journal of Metadata, Semantics and Ontologies
Autonomous Agents and Multi-Agent Systems
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Autonomous Agents and Multi-Agent Systems
A computational framework for institutional agency
Artificial Intelligence and Law
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Visualization of Proofs in Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Time and Defeasibility in FIPA ACL Semantics
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Agents Selecting Trustworthy Recommendations in Mobile Virtual Communities
Trust in Agent Societies
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Agent Computing and Multi-Agent Systems
Legal Theory, Sources of Law and the Semantic Web
Proceedings of the 2009 conference on Legal Theory, Sources of Law and the Semantic Web
A Compact Argumentation System for Agent System Specification
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
A Common Framework for Board Games and Argumentation Games
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Norm Defeasibility in an Institutional Normative Framework
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Legal reasoning with argumentation schemes
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Logic Programming with Defaults and Argumentation Theories
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Entailment semantics for rules with priorities
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Proving quantified literals in defeasible logic
Information Sciences: an International Journal
Modelling and reasoning languages for social networks policies
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Argumentation semantics for defeasible logics
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
AceRules: executing rules in controlled natural language
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
The representation of e-contracts as default theories
IEA/AIE'07 Proceedings of the 20th international conference on Industrial, engineering, and other applications of applied intelligent systems
An argumentative reasoning service for deliberative agents
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Dialogue games in defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Specifying process-aware access control rules in SBVR
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
An alternative foundation for DeLP: defeating relations and truth values
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A system for defeasible argumentation, with defeasible priorities
Artificial intelligence today
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
Assumption-based reasoning in dynamic normative agent systems
Web Intelligence and Agent Systems
Conceptual model for online auditing
Decision Support Systems
Human and unhuman commonsense reasoning
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system
Knowledge-Based Systems
Extending DeLP with attack and support for defeasible rules
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
What are the necessity rules in defeasible reasoning?
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Backing and undercutting in defeasible logic programming
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
NO Revision and NO Contraction
Minds and Machines
t-DeLP: a temporal extension of the defeasible logic programming argumentative framework
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Ambiguity propagating defeasible logic and the well-founded semantics
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Nonmonotonic ontological and rule-based reasoning with extended conceptual logic programs
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Review: an introduction to argumentation semantics
The Knowledge Engineering Review
ALE defeasible description logic
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
ContractLog: an approach to rule based monitoring and execution of service level agreements
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Semantically-enhanced authoring of defeasible logic rule bases in the semantic web
Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Learning and reasoning about norms using neural-symbolic systems
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Possible world semantics for defeasible deontic logic
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Formalizing Defeasible Logic in CAKE
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Extending a temporal defeasible argumentation framework with possibilistic weights
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Relative expressiveness of defeasible logics
Theory and Practice of Logic Programming
DEAL: A Distributed Authorization Language for Ambient Intelligence
International Journal of Ambient Computing and Intelligence
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Computing temporal defeasible logic
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |