Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 2 registro(s) hasta el momento: (knowledge)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Description Logic Programs: Combining Logic Programs with Description Logic
Grosof, Benjamin - Horrocks, Ian - Volz, Raphael - Decker, Stefan

Formato:	Working Paper
Enlaces:	We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…
Fecha:	2004-02-13
Recurso:	MIT

Recurso libre

Precompiled knowledge support for dynamic argumentation
Capobianco, Marcela - Chesñevar, Carlos Iván - Simari, Guillermo Ricardo

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Argumentative formalisms have been widely recognized as knowledge representation and reasoning tools able to deal with incomplete and potentially contradictory informa- tion. All such formalisms are computationally demanding. Hence, optimizing argumen- tative systems has been approached from di erent views.
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata