Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus

From MaRDI portal
Publication:2720314
Jump to:navigation, search

DOI10.1093/logcom/11.2.257zbMath0986.68141OpenAlexW2048580623MaRDI QIDQ2720314

Gerhard Brewka

Publication date: 26 June 2001

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1d9e6d2a93fec106419c3cbf01163f0a47d53348

zbMATH Keywords

situation calculusformal model of argumentation


Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)


Related Items

Belief revision and computational argumentation: a critical comparison, Logical argumentation by dynamic proof systems, Law and logic: a review from an argumentation perspective, A neural cognitive model of argumentation with application to legal inference and decision making, A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence, Strategic Agent Communication: An Argumentation-Driven Approach, Contracts Violation: Justification via Argumentation, Argumentation in artificial intelligence, An executable specification of a formal argumentation protocol, The carneades model of argument and burden of proof



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2720314&oldid=15574721"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 3 February 2024, at 14:30.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki