Disjunctive logic programming with negation as failure in the head

Disjunctive logic programs have been studied in order to increase expressivity, especially in representing indefinite information. Even though there is no general consensus on any specific semantic for disjunctive logic programs with negation, most of well known semantics are minimal model based. So...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Cecchi, Laura, Fillottrani, Pablo Rubén, Simari, Guillermo Ricardo
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	1998
Materias:	Ciencias Informáticas Informática disjunctive logic programs negation as failure in the head non minimal model semantics
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/24877
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Negation in logic programs: is it necessary two connectives?
por: Fillottrani, Pablo Rubén, et al.
Publicado: (1998)

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

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

MENTAL LOGIC AND THE DENIALS OF CONJUNCTIONS AND DISJUNCTIONS
por: LÓPEZ-ASTORGA, Miguel
Publicado: (2016)

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

Game-based approach for modeling dialectical analysis
por: Cecchi, Laura, et al.
Publicado: (2001)

Local-as-view integration of ontologies in defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2010)

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

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)

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)

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

Why ñot? Negation as incompatibility and non-deterministic matrices
por: Franceschini, Eliana
Publicado: (2018)

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

Translating fork specification into logic programs
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001)

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

Proximal chiasmata induce non-disjunctional orientation of robertsonian trivalents in a grasshopper
por: Mirol, P.M., et al.

Proximal chiasmata induce non-disjunctional orientation of robertsonian trivalents in a grasshopper
Publicado: (1992)

El marcado de un árbol dialéctico en DeLP es pspace-completo
por: Cecchi, Laura, et al.
Publicado: (2011)

Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000)

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

An Environment for Possibilistic Logic Programming Based on Dung Semantics
por: Gómez, Sergio Alejandro
Publicado: (2021)

Optimization of forest management strategies using clustering method and mathematical programming: A case study in Misiones, Argentina
por: Dussel, María Emilia, et al.
Publicado: (2024)

DeLP viewer: a defeasible logic programming visualization tool
por: Escarza, Sebastián, et al.
Publicado: (2009)

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

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

Non-random patterns of non-disjunctional orientation in trivalents of multiple Robertsonian heterozygotes of Dichroplus pratensis (Acrididae)
por: Mirol, P.M., et al.

Non-random patterns of non-disjunctional orientation in trivalents of multiple Robertsonian heterozygotes of Dichroplus pratensis (Acrididae)
por: Mirol, Patricia, et al.
Publicado: (1994)

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

Integration of web-based forms with ontologies in the semantic web
por: Gómez, Sergio Alejandro, et al.
Publicado: (2008)

Processing interaction protocols in parallel: a logic programming implementation for robotic soccer
por: Tucat, Mariano, et al.
Publicado: (2005)

A mathematical model for the optimization of forest planning decisions: evaluation of the trade-offs between timber production and carbon sequestration
por: Piedra, Frank, et al.
Publicado: (2023)

Object-Agent Oriented Programming
por: Amandi, Analía, et al.
Publicado: (1999)

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

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

Integrating cardinality constraints into constraint logic programming with sets
por: Cristía, Maximiliano, et al.
Publicado: (2022)

¿Por qué ñot? Negación como incompatibilidad y matrices no-deterministas
por: Franceschini, Eliana
Publicado: (2018)

On Freud's 'negation' /
Publicado: (2011)

Processing interaction protocols in parallel: a logic programming implementation for robotic soccer
por: Tucat, Mariano, et al.
Publicado: (2005)

Negative genetic correlation between traits of the Drosophila head, and interspecific divergence in head shape
por: Norry, F.M., et al.