An Environment for Possibilistic Logic Programming Based on Dung Semantics

In this paper, we present a tool for possibilistic logic programming.This tool is a desktop-based, stand-alone application that assists a user in creating, editing and querying a possibly inconsistent possibilistic program. The tool computes all the arguments emerging from the program, the grounded...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Gómez, Sergio Alejandro
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2021
Materias:	Ciencias Informáticas Possibilistic logic programming Argumentation semantics Knowledge representation Knowledge-based systems Arti cial Intelligence
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/140237 http://50jaiio.sadio.org.ar/pdfs/asai/ASAI-04.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2011)

Towards a Practical Implementation of a Reasoner for Inconsistent Possibilistic Description Logic Programming Ontologies
por: Gómez, Sergio Alejandro
Publicado: (2016)

Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
por: Bou, F., et al.

Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic
Publicado: (2016)

Argument exchange over the semantic web
por: Stankevicius, Alejandro G.
Publicado: (2006)

Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
por: Busaniche, M., et al.

Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic
Publicado: (2019)

Representing generalization relationships in logic programming
por: Fillottrani, Pablo Rubén
Publicado: (2002)

Analyzing the defeat relation in observation-based defeasible logic programming
por: Capobianco, Marcela, et al.
Publicado: (2004)

Towards a semantics for argumentative systems
por: Stankevicius, Alejandro G., et al.
Publicado: (2006)

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

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)

Analizador Semántico: una extensión para un corrector ortográfico en español
por: Cravero, Maximiliano, et al.
Publicado: (2012)

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)

Modeling argumentation with labeled deduction: formalization and theoretical considerations
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)

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

Handling inconsistency on ontologies through a generalized dynamic argumentation framework
por: Moguillansky, Martín O., et al.
Publicado: (2008)

Multi-criteria argumentation-based decision making within a BDI agent
por: Sosa Toranzo, Cecilia, et al.
Publicado: (2013)

On the logic for utopia
por: Areces, Carlos Eduardo, et al.
Publicado: (1995)

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

A framework for multi-criteria argumentation-based decision making within a BDI agent
por: Errecalde, Marcelo Luis, et al.
Publicado: (2014)

An analysis of the computational complexity of DeLP through game semantics
por: Cecchi, Laura, et al.
Publicado: (2005)

A preliminary approach towards a logic for warrant
por: Gómez, Sergio Alejandro, et al.
Publicado: (2014)

An abstract machine for the execution of DeLP programs
por: Stankevicius, Alejandro G., et al.
Publicado: (2004)

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

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

About the use of time on argumentative systems
por: Cobo, María Laura, et al.
Publicado: (2005)

Precompiled knowledge support for dynamic argumentation
por: Capobianco, Marcela, et al.
Publicado: (2002)

An argumentative formalism for implementing rational agents
por: Capobianco, Marcela, et al.
Publicado: (2001)

Integration of rules and ontologies with defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2009)

Embedding defeasible argumentation in the semantic web: an ontology-based approach
por: Gómez, Sergio Alejandro, et al.
Publicado: (2005)

Consequence operators for defeasible argumentation: characterization and logical properties
por: Chesñevar, Carlos Iván, et al.
Publicado: (2001)

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

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

Characterizing defeat in observation-based defeasible logic programming
por: Capobianco, Marcela, et al.
Publicado: (2004)

A defeasible logic programming approach to the integration of rules and ontologies
por: Gómez, Sergio Alejandro, et al.
Publicado: (2010)

Integración de argumentación rebatible y ontologías en el contexto de la web semántica : formalización y aplicaciones
por: Gómez, Sergio Alejandro
Publicado: (2009)

Negation-as-failure considered harmful
por: Fillottrani, Pablo Rubén
Publicado: (2006)

An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2012)