Sciweavers

5378 search results - page 29 / 1076
» Base Logics in Argumentation
Sort
View
SEMWEB
2009
Springer
16 years 9 days 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
15 years 11 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»
15 years 5 months ago
Logical models of argument
Carlos Iván Chesñevar, Ana Gabriela ...