Sciweavers

5378 search results - page 29 / 1076
» Base Logics in Argumentation
Sort
View
SEMWEB
2009
Springer
14 years 3 months ago
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
Ken Kaneiwa, Philip H. P. Nguyen
ATAL
2004
Springer
14 years 2 months ago
A Logical Model for Commitment and Argument Network for Agent Communication
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...
CSUR
2000
41views more  CSUR 2000»
13 years 8 months ago
Logical models of argument
Carlos Iván Chesñevar, Ana Gabriela ...