Searching for authors named "Pedro Cabalar" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Alternative Characterizations for Strong Equivalence of Logic Programs
- …Alternative Characterizations for Strong Equivalence of Logic Programs Pedro Cabalar AI Lab., Dept…
- Cited by 6 (2 self) – Add To MetaCart
-
Well Founded Semantics as Two-dimensional Here-and-There
- …Well Founded Semantics as Two-dimensional Here-and-There Pedro Cabalar AI Lab. - Dept…
- Cited by 4 (2 self) – Add To MetaCart
-
A Functional Action Language Front-End
- …A Functional Action Language Front-End Pedro Cabalar Dept. Computer Science, Corunna University…
- Cited by 1 (1 self) – Add To MetaCart
-
Partial Functions and Equality in Answer Set Programming
- …Partial Functions and Equality in Answer Set Programming Pedro Cabalar ⋆ Department of Computer…
- Add To MetaCart
-
New Insights on the Intuitionistic Interpretation of Default Logic
- …: {cabalar,lorenzo}@(email omitted); Pedro Cabalar and David Lorenzo 1 nonmonotonic consequence relation…
- Add To MetaCart
-
Strings and holes: an exercise on spatial reasoning
- …Strings and holes: an exercise on spatial reasoning Pedro Cabalar 1 and Paulo Santos 2 1…
- Cited by 4 (2 self) – Add To MetaCart
-
A rewriting method for Well-Founded Semantics with Explicit Negation.
- …A rewriting method for Well-Founded Semantics with Explicit Negation. Pedro Cabalar Dept…
- Cited by 1 (1 self) – Add To MetaCart
-
A Preliminary Study on Reasoning About Causes
- …. Pedro Cabalar Dept. of Computer Science University of Corunna, SPAIN cabalar@(email omitted); real interest…
- Add To MetaCart
-
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
- …Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs Pedro Cabalar 1…
- Cited by 1 (1 self) – Add To MetaCart
-
A.: Reducing propositional theories in equilibrium logic to logic programs
- …Reducing Propositional Theories in Equilibrium Logic to Logic Programs Pedro Cabalar 1 , David…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
