Search Sciweavers | Sciweavers

5378 search results - page 29 / 1076

» Base Logics in Argumentation

161

click to vote

SEMWEB
2009
Springer

184views Internet Technology» more SEMWEB 2009»

Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring

16 years 9 days ago

Download kc.nict.go.jp

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

claim paper

Read More »

120

click to vote

ATAL
2004
Springer

88views Intelligent Agents» more ATAL 2004»

A Logical Model for Commitment and Argument Network for Agent Communication

15 years 11 months ago

Download damas.ift.ulaval.ca

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Mey...

claim paper

Read More »

127

click to vote

SUM
2009
Springer

105views Information Technology» more SUM 2009»

Bridging the Gap between Abstract Argumentation Systems and Logic

15 years 10 months ago

Download www.irit.fr

Leila Amgoud, Philippe Besnard

claim paper

Read More »

103

click to vote

COMMA
2008

86views Applied Computing» more COMMA 2008»

A Distributed Argumentation Framework using Defeasible Logic Programming

15 years 7 months ago

Download www.irit.fr

Matthias Thimm, Gabriele Kern-Isberner

claim paper

Read More »

click to vote

CSUR
2000

41views more CSUR 2000»

Logical models of argument

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers