1.
|
Description Logic Programs: Combining Logic Programs with Description Logic Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan
|
2.
|
Ontological evaluation in the knowledge based system Bueno, Tânia C. D. - Hoeschl, Hugo Cesar - Cancellier, Fabricia - Bedin, Sonali
|
3.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
4.
|
Argument exchange over the semantic web Stankevicius, Alejandro G.
|
5.
|
ARLO: Another Representation Language Offer Haase, Kenneth W., Jr.
|
6.
|
An argumentative formalism for implementing rational agents Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo
|
7.
|
Defeasible reasoning in dynamic domains Capobianco, Marcela - Simari, Guillermo Ricardo
|
8.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
9.
|
Causal Reconstruction Borchardt, Gary C.
|
10.
|
Towards a semantics for argumentative systems Stankevicius, Alejandro G. - Simari, Guillermo Ricardo
|