Automated argument assistance for lawyers
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Modelling reasoning about evidence in legal procedure
Proceedings of the 8th international conference on Artificial intelligence and law
A typology of moves involved in case comparison
Proceedings of the 8th international conference on Artificial intelligence and law
Defeasible reasoning with variable degrees of justification
Artificial Intelligence
Representing Epistemic Uncertainty by Means of Dialectical Argumentation
Annals of Mathematics and Artificial Intelligence
Animals, Zombanimals, and the Total Turing Test
Journal of Logic, Language and Information
Creativity, the Turing Test, and the (Better) Lovelace Test
Minds and Machines
A distributed self-stabilizing algorithm for argumentation
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Semantics for Pollock`s Defeasible Reasoning
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Credulous and Sceptical Argument Games for Preferred Semantics
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A model of legal reasoning with cases incorporating theories and values
Artificial Intelligence - Special issue on AI and law
Artificial argument assistants for defeasible argumentation
Artificial Intelligence - Special issue on AI and law
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
A Manifesto for Agent Technology: Towards Next Generation Computing
Autonomous Agents and Multi-Agent Systems
Is there a burden of questioning?
Artificial Intelligence and Law
Argumentation schemes and generalisations in reasoning about evidence
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Semantics for a theory of defeasible reasoning
Annals of Mathematics and Artificial Intelligence
Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication
Autonomous Agents and Multi-Agent Systems
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
Privacy, Deontic Epistemic Action Logic and Software Agents
Ethics and Information Technology
Towards a formal account of reasoning about evidence: argumentation schemes and generalisations
Artificial Intelligence and Law - Law, logic and defeasibility
Dialectical argumentation with argumentation schemes: an approach to legal logic
Artificial Intelligence and Law - Law, logic and defeasibility
Artificial Intelligence and Law - Law, logic and defeasibility
A study of accrual of arguments, with applications to evidential reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Dialogues about the burden of proof
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Argument-based critics and recommenders: a qualitative perspective on user support systems
Data & Knowledge Engineering - Special issue: WIDM 2004
How to make and defend a proposal in a deliberation dialogue
Artificial Intelligence and Law
On the evaluation of argumentation formalisms
Artificial Intelligence
Formalising argumentative story-based analysis of evidence
Proceedings of the 11th international conference on Artificial intelligence and law
An application of formal argumentation: Fusing Bayesian networks in multi-agent systems
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
Planning and defeasible reasoning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Preferred extensions as stable models*
Theory and Practice of Logic Programming
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Combining Modes of Reasoning: An Application of Abstract Argumentation
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
An Algorithm for Computing Semi-stable Semantics
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Automatic Argumentation Detection and its Role in Law and the Semantic Web
Proceedings of the 2009 conference on Law, Ontologies and the Semantic Web: Channelling the Legal Information Flood
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Justifying Actions by Accruing Arguments
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Combining sceptical epistemic reasoning with credulous practical reasoning
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Success chances in argument games: a probabilistic approach to legal disputes
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Investigating Stories in a Formal Dialogue Game
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
An axiomatic account of formal argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
SCC-recursiveness: a general schema for argumentation semantics
Artificial Intelligence
A taxonomy of argumentation models used for knowledge representation
Artificial Intelligence Review
Legal concepts as inferential nodes and ontological categories
Artificial Intelligence and Law
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
Defeasible reasoning and partial order planning
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
The foundations of DeLP: defeating relations, games and truth values
Annals of Mathematics and Artificial Intelligence
Integrating Dialectical and Accrual Modes of Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Argumentation and rules with exceptions
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Cognitive effort for multi-agent systems
BI'10 Proceedings of the 2010 international conference on Brain informatics
A hybrid formal theory of arguments, stories and criminal evidence
Artificial Intelligence and Law
Doing justice to rights and values: teleological reasoning and proportionality
Artificial Intelligence and Law
On judgment aggregation in abstract argumentation
Autonomous Agents and Multi-Agent Systems
Classifying arguments by scheme
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
Legal shifts in the process of proof
Proceedings of the 13th International Conference on Artificial Intelligence and Law
Limitations of skeptical default reasoning
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Structure-based algorithms for computing preferred arguments of defeasible knowledge bases
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Towards a formal and implemented model of argumentation schemes in agent communication
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Argumentation in bayesian belief networks
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
Negotiation among DDeLP agents
ArgMAS'04 Proceedings of the First international conference on Argumentation in Multi-Agent Systems
A protocol for arguing about rejections in negotiation
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Liberalizing protocols for argumentation in multi-agent systems
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Using ambient intelligence for disaster management
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
An annotation scheme for cross-cultural argumentation and persuasion dialogues
SIGDIAL '11 Proceedings of the SIGDIAL 2011 Conference
Review: an introduction to argumentation semantics
The Knowledge Engineering Review
Approaches to text mining arguments from legal cases
Semantic Processing of Legal Texts
An analysis of three puzzles in the logic of intention
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Multimedia and image influences in education: some epistemological aspects
WORLD-EDU'12/CIT'12 Proceedings of the 6th international conference on Communications and Information Technology, and Proceedings of the 3rd World conference on Education and Educational Technologies
Some reflections on two current trends in formal argumentation
Logic Programs, Norms and Action
Jumping to conclusions: a logico-probabilistic foundation for defeasible rule-based arguments
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
ONTOarg: A decision support framework for ontology integration based on argumentation
Expert Systems with Applications: An International Journal
A general account of argumentation with preferences
Artificial Intelligence
Compliance with normative systems
AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents
On the equivalence between logic programming semantics and argumentation semantics
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
From the Publisher:In his groundbreaking new book, John Pollock establishes an outpost at the crossroads where artificial intelligence meets philosophy. Specifically, he proposes a general theory of rationality and then describes its implementation in OSCAR, an architecture for an autonomous rational agent he claims is the "first AI system capable of performing reasoning that philosophers would regard as epistemically sophisticated." A sequel to Pollock's How to Build a Person, this volume builds upon that theoretical groundwork for the implementation of rationality through artificial intelligence. Pollock argues that progress in AI has stalled because of its creators' reliance upon unformulated intuitions about rationality. Instead, he bases the OSCAR architecture upon an explicit philosophical theory of rationality, encompassing principles of practical cognition, epistemic cognition, and defeasible reasoning. One of the results is the world's first automated defeasible reasoner capable of reasoning in a rich, logical environment. Underlying Pollock's thesis is a conviction that the tenets of artifical intelligence and those of philosophy can be complementary and mutually beneficial. And, while members of both camps have in recent years grown skeptical of the very possibility of "symbol processing" AI, Cognitive Carpentry establishes that such an approach to AI can be successful. A Bradford Book