Search

Now showing items 1-10 of 62

A first approach to abductive defeasible logic programming: formalization and properties

Gómez Lucero, Mauro Javier; García, Alejandro Javier; Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (2007)

Negation in logic programs: is it necessary two connectives?

Fillottrani, Pablo Rubén; Simari, Guillermo Ricardo (1998)

A logical framework for modeling argumentation using labelled deduction

Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (2000)

The role of labelled deductive systems in a formal system for defeasible argumentation

Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (1999)

Logical properties in defeasible logic programming -a preliminary report

Stankevicius, Alejandro G.; Capobianco, Marcela; Chesñevar, Carlos Iván (2002)

Modeling argumentation with labeled deduction: formalization and theoretical considerations

Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (2001)

Detecting and repairing anomalous evolutions in noisy environments: logic programming formalization and complexity results

Angiulli, Fabrizio; Greco, Gianluigi; Palopoli, Luigi (2006)

Effective prover for minimal inconsistency logic

Neto, Adolfo Gustavo Serra Seca; Finger, Marcelo (2006)

Using logic programs to model an agent's epistemic state

Capobianco, Marcela; Chesñevar, Carlos Iván (2000)

Consequence operators for defeasible argumentation: characterization and logical properties

Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (2001)

1
2
3
4
. . .
7