Model contractions on description logics

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization to express kno...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Falappa, Marcelo Alejandro, Moguillansky, Martín O.
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2007
Materias:	Ciencias Informáticas Informática belief revision description logics tableau calculi ontology change Nonmonotonic reasoning and belief revision Algorithms
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23573
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

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

Tableau calculi for description logics revision
por: Moguillansky, Martín O., et al.
Publicado: (2007)

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

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

Sobre la relaci
por: Cecchi, Laura, et al.
Publicado: (2000)

Some approaches to Belief Bases Merge
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2006)

lntroducing generalized specificity in logic programming
por: Stolzenburg, Frieder, et al.
Publicado: (2000)

On the connection between default logic and DELP
por: Delladio, Telma, et al.
Publicado: (2006)

On cumulativity in the context of defeasible argumentation
por: Stankevicius, Alejandro G., et al.
Publicado: (2008)

Una operación de consolidación basada en plausibilidad
por: Parra, Gerardo, et al.
Publicado: (1998)

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

Propiedades del operador de consecuencias argumentativo
por: Sardiña, Sebastián, et al.
Publicado: (1998)

Procesamiento inteligente de flujos de datos vía sistemas argumentativos
por: Paredes, José N., et al.
Publicado: (2016)

Multiple Revision on Horn Belief Bases
por: Valdez, Néstor Jorge, et al.
Publicado: (2016)

Notions of relevance for modeling the dynamics of belief
por: Falappa, Marcelo Alejandro, et al.
Publicado: (2001)

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

Construction of revisions by explanations
por: Falappa, Marcelo Alejandro, et al.
Publicado: (1998)

Revision of plausibility relations in dynamic systems
por: Simari, Patricio D., et al.
Publicado: (2000)

Selective revision
por: Fermé, E.L., et al.

Selective revision
por: Fermé, Eduardo Leopoldo
Publicado: (1999)

Argumentative Credibility-based Revision in Multi-Agent Systems
por: Tamargo, Luciano H., et al.
Publicado: (2012)

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

An approach to automated agent negotiation using belief revision
por: Pilotti, Pablo, et al.
Publicado: (2011)

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

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

Belief revision and relevance
por: Falappa, Marcelo Alejandro, et al.
Publicado: (1999)

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

On the Application of Argument Accrual to Reasoning with Inconsistent Possibilistic Ontologies
por: Gómez, Sergio Alejandro
Publicado: (2016)

Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
por: Gómez, Sergio Alejandro
Publicado: (2017)

The web of belief /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1978)

A methodology for knowledge representation in defeasible logic programming
por: Stankevicius, Alejandro G., et al.
Publicado: (2006)

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)

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)

A comparison between non-monotonic formalisms
por: Delladio, Telma, et al.
Publicado: (2006)

Reason without freedom : the problem of epistemic normativity /
por: Owens, David (David J.)
Publicado: (2000)

On the logic of theory change: Contraction without recovery
por: Fermé, E.L.

On the logic of theory change: Contraction without recovery
por: Fermé, Eduardo Leopoldo
Publicado: (1998)

Belief dynamics and explanations in ansprolog
por: Simari, Gerardo I., et al.
Publicado: (2003)

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

The use of inventories for the description of explicit epistemological beliefs of a science teacher in an ethnographic study. Comparison with implicit beliefs
por: Peme, Carmen, et al.
Publicado: (2023)