Tableau calculi for description logics revision

Focusing on the Ontology Change problem, we consider an environment where Description Logics (DLs) are the logical formalization to express knowledge bases, and the integration of distributed ontologies is developed under new extensions and modifications of the Belief Revision theories yielded origi...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Moguillansky, Martín O., Falappa, Marcelo Alejandro
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2007
Materias:	Ciencias Informáticas Revisión Intelligent agents Tableau calculi description logics
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/20331
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Model contractions on description logics
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2007)

On the use of belief revision to merge description logic terminologies
por: Moguillansky, Martín O., et al.
Publicado: (2006)

Towards a non monotonic description logics model
por: Moguillansky, Martín O., et al.
Publicado: (2006)

Razonamiento y evolución ontológica con tolerancia a inconsistencias : un enfoque argumentativo a revisión de description logics
por: Moguillansky, Martín Oscar
Publicado: (2011)

Ontology merging using belief revision and defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2012)

Argumentación sensible al contexto y dinámica: aplicación en entornos legales
por: Moguillansky, Martín O., et al.
Publicado: (2011)

An approach to handling inconsistent ontology definitions based on the translation of description logics into defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2006)

Logic modules for communicating distributed agents
por: Zunino, Alejandro, et al.
Publicado: (1999)

Lógicas modales con memoria
por: Mera, Sergio Fernando
Publicado: (2009)

Lógicas modales con memoria
por: Mera, Sergio Fernando
Publicado: (2009)

Lógicas modales con memoria
por: Mera, Sergio Fernando
Publicado: (2009)

Logics for approximate and strong entailments
por: Esteva, F., et al.

Revision of informant plausibility in multi-agent system
por: Simari, Guillermo Ricardo, et al.
Publicado: (2001)

Mecanismos de confianza y reputación combinados con formalismos de revisión de creencias
por: Tamargo, Luciano H., et al.
Publicado: (2011)

Logics for approximate and strong entailments
Publicado: (2012)

Using logic programs to model an agent's epistemic state
por: Capobianco, Marcela, et al.
Publicado: (2000)

Non prioritized answer set revision
por: Simari, Gerardo I., et al.
Publicado: (2004)

A preliminary investigation on a revision-based approach to the status of warrant
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2007)

Combinando revisión de creencias y argumentación para mejorar las capacidades de razonamiento de agentes en sistemas multi-agente
por: García, Diego R., et al.
Publicado: (2011)

El Tableau Economique, un precedente de la matriz insumo producto
por: París, Juan Marcos
Publicado: (2007)

Consolidation of plausiblity relations in multi-agent systems
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2001)

Logical properties in defeasible logic programming -a preliminary report
por: Stankevicius, Alejandro G., et al.
Publicado: (2002)

Dinámica de bases de conocimiento compartidas y distribuidas
por: Tamargo, Luciano H., et al.
Publicado: (2009)

Un modelo abstracto de diálogo sobre creencias para sistemas multiagente
por: Marcos, Julieta, et al.
Publicado: (2007)

An approach for an algebra applied to a defeasible logic programming
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012)

Revisión de creencias, argumentación, confianza y reputación en Sistemas Multi-agentes
por: Tamargo, Luciano H., et al.
Publicado: (2012)

Sobre la revisión de planes en agentes inteligentes
por: Parra, Gerardo, et al.
Publicado: (2007)

Event management for the development of multi-agent systems using logic programming
por: Weinbach, Natalia L., et al.
Publicado: (2004)

Non prioritized belief revision with ansprolog
por: Simari, Gerardo I., et al.
Publicado: (2004)

Relating defeasible and normal logic programming through transformation properties
por: Chesñevar, Carlos Iván, et al.
Publicado: (2000)

Revisions of orders in dynamic systems
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2001)

On the logic of theory change: incision functions from selection functions
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2002)

Modelling derivation in defeasible logic programming with perceptron-based neural networks
por: Gómez, Sergio Alejandro
Publicado: (2004)

Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
por: Valdez, Néstor Jorge, et al.
Publicado: (2013)

Revisión temporal: algunos postulados
por: Cobo, María Laura, et al.
Publicado: (2004)

Weak properties of circumscriptive logic programming
por: Fillottrani, Pablo Rubén, et al.
Publicado: (1997)

Strong properties of circumscriptive logic programming
por: Fillottrani, Pablo Rubén, et al.
Publicado: (1996)

Programación en lógica inductiva para la corrección de bases de conocimiento lógicas
por: Delladio, Telma
Publicado: (2000)

Reasoning about intentions: a defeasible argumentation approach
por: Rotstein, Nicolás D., et al.
Publicado: (2005)

An architecture for rational agents interacting with complex environments
por: Stankevicius, Alejandro G., et al.
Publicado: (2003)