#### Filter Results:

#### Publication Year

1995

2004

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different semantic perspective. Our starting point comes from the use of logic programs for Knowledge Representation and Nonmonotonic Reasoning, especially under three well-known semantics… (More)

We focus on learning representations of dynamical systems that can be characterized by logic-based formalisms for reasoning about actions and change, where system's behaviors are naturally viewed as appropriate logical consequences of the domain's description. To this end, logic-based induction methods are adapted to identify the input/output behavior of a… (More)

In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing its application to other general non-monotonic formalisms. For comparison purposes, we start defining a subset of S4F we called Intuitionistic Default Logic (IDL), which consists in… (More)

- David Lorenzo
- NMR
- 2002