MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marina De Vos" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

Implementing Ordered Choice Logic Programming using Answer Set Solvers
by Marina De Vos — 2004 — In Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS’04
…Implementing Ordered Choice Logic Programming using Answer Set Solvers Marina De Vos ⋆ Department…
Cited by 6 (2 self) – Add To MetaCart

Towards Incremental Computation of the Answer Set Semantics: Preliminary Report
by Martin Brain, Marina De Vos
… Marina De Vos ∗ Department of Computer Science University of Bath Bath, United Kingdom {mjb…
Add To MetaCart

Semantic Forcing in Disjunctive Logic Programs
by Marina De Vos, Dirk Vermeir — 2001 — Computational Intelligence
…Semantic Forcing in Disjunctive Logic Programs Marina De Vos and Dirk Vermeir Dept. of Computer…
Cited by 3 (3 self) – Add To MetaCart

Answer Set Programming – a Domain in Need of Explanation A Position Paper
by Martin Brain, Marina De Vos
… De Vos Department of Computer Science, University of Bath, United Kingdom {mjb…
Add To MetaCart

Choice Logic Programs and Nash Equilibria in Strategic Games
by Marina De Vos, Dirk Vermeir — 1999 — Computer Science Logic (CSL’99), volume 1683 of Lecture Notes in Computer Science
…Choice Logic Programs and Nash Equilibria in Strategic Games Marina De Vos ¢¡ and Dirk Vermeir…
Cited by 16 (9 self) – Add To MetaCart

M.: Debugging logic programs under the answer set semantics
by Martin Brain, Marina De Vos — 2005 — Proceedings of the 3rd International Workshop on Answer Set Programming (ASP’05). CEUR Workshop Proceedings (2005) 141–152
…Debugging Logic Programs under the Answer Set Semantics Martin Brain and Marina De Vos…
Cited by 9 (4 self) – Add To MetaCart

On the Role of Negation in Choice Logic Programs
by Marina De Vos, Dirk Vermeir — 1999
…On the role of negation in choice logic programs Marina De Vos marinadv@(email omitted); Dirk…
Cited by 20 (12 self) – Add To MetaCart

A Logic for Modelling Decision Making with Dynamic Preferences
by Marina De Vos, Dirk Vermeir — 2000 — In Proceedings of the Logics in Artificial Inteligence (jelia2000) workshop, volume 1919 of Lecture Notes in Artificial Intelligence
…A Logic for Modeling Decision Making with Dynamic Preferences Marina De Vos and Dirk Vermeir…
Cited by 13 (6 self) – Add To MetaCart

Logic Programming Agents Playing Games
by Marina De Vos, Dirk Vermeir — 2002 — In Research and Development in Intelligent Systems XIX (ES2002), BCS Conference Series
…Logic Programming Agents Playing Games Marina De Vos Department of Computer Science, University…
Cited by 5 (4 self) – Add To MetaCart

Logic Programming Agents and Game Theory
by Marina De Vos, Dirk Vermeir — 2001
…Logic Programming Agents and Game Theory Marina De Vos and Dirk Vermeir Dept. of Computer…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB