The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marina De Vos: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marina De Vos
    An Ordered Choice Logic Programming Front-End for Answer Set Solvers. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:362-373 [Conf]
  2. Marina De Vos, Dirk Vermeir
    Logic Programming Agents and Game Theory. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  3. Martin Brain, Marina De Vos
    Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2003, pp:- [Conf]
  4. Martin Brain, Marina De Vos
    Debugging Logic Programs under the Answer Set Semantics. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  5. Martin Brain, Richard Watson, Marina De Vos
    An Interactive Approach to Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  6. Marina De Vos, Dirk Vermeir
    Dynamic Decision-Making in Logic Programming and Game Theory. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:36-47 [Conf]
  7. Owen Cliffe, Marina De Vos, Julian A. Padget
    Answer Set Programming for Representing and Reasoning About Virtual Institutions. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:60-79 [Conf]
  8. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
    Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:20-40 [Conf]
  9. Marina De Vos, Dirk Vermeir
    Choice Logic Programs and Nash Equilibria in Strategic Games. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:266-276 [Conf]
  10. Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham
    LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:72-88 [Conf]
  11. Owen Cliffe, Marina De Vos, Julian A. Padget
    Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:476-477 [Conf]
  12. Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
    T-LAIMA: Answer Set Programming for Modelling Agents with Trust. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:126-136 [Conf]
  13. Marina De Vos
    Implementing Ordered Choice Logic Programming using Answer Set Solvers. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2004, pp:59-77 [Conf]
  14. Marina De Vos, Dirk Vermeir
    Dynamically Ordered Probabilistic Choice Logic Programming. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:227-239 [Conf]
  15. Martin Brain, Tom Crick, Marina De Vos, John Fitch
    TOAST: Applying Answer Set Programming to Superoptimisation. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:270-284 [Conf]
  16. Marina De Vos, Dirk Vermeir
    A Logic for Modeling Decision Making with Dynamic Preferences. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:391-406 [Conf]
  17. Marina De Vos, Dirk Vermeir
    On the Role of Negation in Choice Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:236-246 [Conf]
  18. Marina De Vos, Dirk Vermeir
    Extending Answer Sets for Logic Programming Agents. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:42, n:1-3, pp:103-139 [Journal]
  19. Marina De Vos, Dirk Vermeir
    Semantic Forcing in Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2001, v:17, n:3, pp:651-684 [Journal]
  20. Owen Cliffe, Marina De Vos, Julian A. Padget
    Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    AAMAS Workshops, 2005, pp:99-113 [Conf]
  21. Jonty Needham, Marina De Vos
    A Games Semantics of ASP. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:460-461 [Conf]

  22. Embedding Landmarks and Scenes in a Computational Model of Institutions. [Citation Graph (, )][DBLP]


  23. ALIVE: A Framework for Flexible and Adaptive Service Coordination. [Citation Graph (, )][DBLP]


  24. ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. [Citation Graph (, )][DBLP]


  25. Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. [Citation Graph (, )][DBLP]


  26. ASP: The Future Is Bright. [Citation Graph (, )][DBLP]


  27. AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP]


  28. Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP]


  29. ANTON: Composing Logic and Logic Composing. [Citation Graph (, )][DBLP]


  30. Generating Optimal Code Using Answer Set Programming. [Citation Graph (, )][DBLP]


  31. Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. [Citation Graph (, )][DBLP]


  32. Automatic Music Composition using Answer Set Programming [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002