4978 search results - page 14 / 996 » Logical models of argument |
DLOG
2010
13 years 5 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
AI
2007
Springer
13 years 7 months ago
2007
Springer
This paper introduces a Subjective Logic based argumentation framework primarily targeted at evidential reasoning. The framework explicitly caters for argument schemes, accrual of...
AAMAS
2005
Springer
13 years 7 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
AMSTERDAM
2009
13 years 5 months ago
2009
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
The development of graphical argument models is an active and growing area of research in Artificial Intelligence and Law. The aim is to develop models which may be readily used ...