Search the dblp DataBase
Marina De Vos :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Marina De Vos , Dirk Vermeir Logic Programming Agents and Game Theory. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2001, pp:- [Conf ] 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 ] Martin Brain , Marina De Vos Debugging Logic Programs under the Answer Set Semantics. [Citation Graph (0, 0)][DBLP ] Answer Set Programming, 2005, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Marina De Vos Implementing Ordered Choice Logic Programming using Answer Set Solvers. [Citation Graph (0, 0)][DBLP ] FoIKS, 2004, pp:59-77 [Conf ] Marina De Vos , Dirk Vermeir Dynamically Ordered Probabilistic Choice Logic Programming. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2000, pp:227-239 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Jonty Needham , Marina De Vos A Games Semantics of ASP. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:460-461 [Conf ] Embedding Landmarks and Scenes in a Computational Model of Institutions. [Citation Graph (, )][DBLP ] ALIVE: A Framework for Flexible and Adaptive Service Coordination. [Citation Graph (, )][DBLP ] ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. [Citation Graph (, )][DBLP ] Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. [Citation Graph (, )][DBLP ] ASP: The Future Is Bright. [Citation Graph (, )][DBLP ] AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. [Citation Graph (, )][DBLP ] Modelling Normative Frameworks Using Answer Set Programing. [Citation Graph (, )][DBLP ] ANTON: Composing Logic and Logic Composing. [Citation Graph (, )][DBLP ] Generating Optimal Code Using Answer Set Programming. [Citation Graph (, )][DBLP ] Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. [Citation Graph (, )][DBLP ] Automatic Music Composition using Answer Set Programming [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.305secs