Representing generalization relationships in logic programming

Modeling is one of the most important activities throughout any software development life cycle. Within object-oriented modeling, class generalization is a powerful, yet simple concept for abstracting commonalities between classes. Although, as classes evolved in the model, their semantics may becom...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autor principal:	Fillottrani, Pablo Rubén
Formato:	Objeto de conferencia
Lenguaje:	Inglés
Publicado:	2002
Materias:	Ciencias Informáticas knowledge representation object-oriented modeling logic programming applications Logic Programming ARTIFICIAL INTELLIGENCE
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/23112
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

Sobre la negación y la inferencia no monótona en la programación en lógica
por: Fillottrani, Pablo Rubén
Publicado: (2000)

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

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

Estrategias de búsqueda con criterios de selección que dependen de tablas de pesos asignadas a los recursos
por: Ibáñez, Francisco S., et al.
Publicado: (2000)

Parallel defeasible argumentation
por: García, Alejandro Javier, et al.
Publicado: (2000)

A connection between similarity logic programming and gödel modal logic
por: Blandi, L., et al.

A connection between similarity logic programming and gödel modal logic
Publicado: (2005)

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

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

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)

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

Disjunctive logic programming with negation as failure in the head
por: Cecchi, Laura, et al.
Publicado: (1998)

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

The B method as an environment for the verification of eiffel programs: a case study
por: Aguirre, Nazareno Matías, et al.
Publicado: (2004)

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

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

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

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

A framework for arguing from analogy: preliminary results
por: Budán, Maximiliano Celmo David, et al.
Publicado: (2013)

Aplicaciones complementarias a Robocode que faciliten el aprendizaje de programación en escuelas secundarias
por: Aybar Rosales, Vanessa del Carmen
Publicado: (2012)

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

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

An approach for Temporal Argumentation Using Labeled Defeasible Logic Programming (l-DeLP)
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)