A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Social Order in Multiagent Systems
Social Order in Multiagent Systems
Action Concepts for Describing Organised Interaction
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Open Agent Societies: Normative Specifications in Multi-Agent Systems
Open Agent Societies: Normative Specifications in Multi-Agent Systems
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Fundamental legal concepts: a formal and teleological characterisation
Artificial Intelligence and Law
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
A system for modal and deontic defeasible reasoning
Proceedings of the 2008 ACM symposium on Applied computing
A computational framework for institutional agency
Artificial Intelligence and Law
Temporal Deontic Defeasible Logic: An Analytical Approach
Computable Models of the Law
Propositional Clausal Defeasible Logic
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Expert Systems with Applications: An International Journal
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
On Extending RuleML for Modal Defeasible Logic
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
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
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Norm Modifications in Defeasible Logic
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Argumentation Semantics for Temporal Defeasible Logic
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
International Journal of Metadata, Semantics and Ontologies
Implementing modal extensions of defeasible logic for the semantic web
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Java Implementation of Temporal Defeasible Logic
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Rule-based agents in temporalised defeasible logic
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Temporal extensions to defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
International Symposium on Symbolic and Algebraic Computation
A conceptually rich model of business process compliance
APCCM '10 Proceedings of the Seventh Asia-Pacific Conference on Conceptual Modelling - Volume 110
Relevance, derogation and permission: a case for a normal form for codes of norms
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Implementing temporal defeasible logic for modeling legal reasoning
JSAI-isAI'09 Proceedings of the 2009 international conference on New frontiers in artificial intelligence
AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue
Norm-system revision: theory and application
Artificial Intelligence and Law
A model of juridical acts: part 2:: the operation of juridical acts
Artificial Intelligence and Law
On the relationship between Carneades and Defeasible Logic
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Temporal accommodation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Justice delayed is justice denied: logics for a temporal account of reparations and legal compliance
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Designing for compliance: norms and goals
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
LegalRuleML: XML-based rules and norms
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Running contracts with defeasible commitment
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Agreeing on defeasible commitments
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
A semantic web based architecture for e-contracts in defeasible logic
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
A defeasible logic for clauses
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Forgetting for defeasible logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Open issues for normative multi-agent systems
AI Communications
Norms and learning in probabilistic logic-based agents
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
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
Hi-index | 0.00 |
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of temporalised agency and temporalised normative positions. We argue about the defeasible nature of these notions and then we show how to represent and reason with them in the setting of Defeasible Logic.