The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marina De Vos" ( http://dblp.L3S.de/Authors/Marina_De_Vos )

URL (Homepage):  https://orcid.org/0000-0003-3583-7671  Author page on DBLP  Author page in RDF  Community of Marina De Vos in ASPL-2

Publication years (Num. hits)
1999-2005 (19) 2006-2009 (18) 2010-2011 (18) 2012-2013 (22) 2015-2017 (16) 2018-2019 (4)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(67) proceedings(6)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 7 keywords

Results
Found 98 publication records. Showing 97 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andreasa Morris-Martin, Marina De Vos, Julian A. Padget Norm emergence in multiagent systems: a viewpoint paper. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Esra Erdem 0001, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang (eds.) Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh ODRL Policy Modelling and Compliance Checking. Search on Bibsonomy RuleML+RR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julian A. Padget, Marina De Vos, Charlie Ann Page Deontic Sensors. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. Search on Bibsonomy IJWIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas Christopher King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian A. Padget, M. Birna van Riemsdijk Automated multi-level governance compliance checking. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos Practical Reasoning with Norms for Autonomous Software Agents (Full Edition). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos Practical reasoning with norms for autonomous software agents. Search on Bibsonomy Eng. Appl. of AI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fatemeh Jahedpari, Talal Rahwan, Sattar Hashemi, Tomasz P. Michalak, Marina De Vos, Julian A. Padget, Wei Lee Woon Online Prediction via Continuous Artificial Prediction Markets. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos CBA: A cluster-based client/server data aggregation routing protocol. Search on Bibsonomy Ad Hoc Networks The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos (eds.) Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget Normative Practical Reasoning via Argumentation and Dialogue. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Shadi Saleh Basurra, Marina De Vos, Julian A. Padget, Yusheng Ji, Tim Lewis, Simon Armour Energy efficient zone based routing protocol for MANETs. Search on Bibsonomy Ad Hoc Networks The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fatemeh Jahedpari, Marina De Vos, Sattar Hashemi, Benjamin Hirsch, Julian A. Padget Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh Argumentation-based Normative Practical Reasoning. Search on Bibsonomy TAFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni (eds.) Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke Debugging ASP using ILP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Thomas Christopher King, Tingting Li, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk Revising Institutions Governed by Institutions for Compliant Regulations. Search on Bibsonomy COIN@AAMAS/IJCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos Implementation of Normative Practical Reasoning with Durative Actions. Search on Bibsonomy COIN@AAMAS/IJCAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Christopher King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk A Framework for Institutions Governing Institutions. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Stefanos Vatsikas, Simon Armour, Tim Lewis, Marina De Vos Distributed quality of service provision using coalitions and the Nash bargaining solution. Search on Bibsonomy IET Communications The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik Computational Models for Normative Multi-Agent Systems. Search on Bibsonomy Normative Multi-Agent Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh Legal Conflict Detection in Interacting Legal Systems. Search on Bibsonomy JURIX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh Legal Conflict Detection in Interacting Legal Systems. Search on Bibsonomy DoCoPe@JURIX The full citation details ... 2013 DBLP  BibTeX  RDF
1Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh A model-based approach to the automatic revision of secondary legislation. Search on Bibsonomy ICAIL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zohreh Shams, Marina De Vos, Ken Satoh ArgPROLEG: A Normative Framework for the JUF Theory. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Search on Bibsonomy ADHOCNETS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example. Search on Bibsonomy PRIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeehang Lee, Tingting Li, Marina De Vos, Julian A. Padget Governing intelligent virtual agent behaviour with norms. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Tingting Li, Jie Jiang, Huib Aldewereld, Marina De Vos, Virginia Dignum, Julian A. Padget Contextualized Institutions in Virtual Organizations. Search on Bibsonomy COIN@AAMAS/PRIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Tina Balke, Ken Satoh Combining event-and state-based norms. Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating Answer-Set Programs in LANA? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating answer-set programs in Lana. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour Social-Aware Routing for Wireless Mesh Networks. Search on Bibsonomy VTC Fall The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh Handling change in normative specifications. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh Handling Change in Normative Specifications. Search on Bibsonomy DALT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget Detecting Conflicts in Legal Systems. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Tina Balke, Ken Satoh Modelling Legitimate Expectations. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala LOG-IDEAH: ASP for Architectonic Asset Preservation. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Computational Music Theory. Search on Bibsonomy MUME@AIIDE The full citation details ... 2012 DBLP  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms. Search on Bibsonomy COIN@AAMAS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ashley Mills, David Lister, Marina De Vos Understanding Static Intercell Interference Coordination Mechanisms in LTE. Search on Bibsonomy JCM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh Normative design using inductive learning Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh Normative design using inductive learning. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John P. Fitch Automatic music composition using answer set programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution. Search on Bibsonomy VTC Spring The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution. Search on Bibsonomy VTC Fall The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Richard Watson, Marina De Vos ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Anton - A Rule-Based Composition System. Search on Bibsonomy ICMC The full citation details ... 2011 DBLP  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas On-line reasoning for institutionally-situated BDI agents. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, George A. Vouros (eds.) Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers Search on Bibsonomy COIN@AAMAS&MALLOW The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. Search on Bibsonomy COIN@AAMAS&WI-IAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Automatic Music Composition using Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Marina De Vos, Julian A. Padget, Ken Satoh Legal Modelling and Reasoning Using Institutions. Search on Bibsonomy JSAI-isAI Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh Norm Refinement and Design through Inductive Learning. Search on Bibsonomy MALLOW The full citation details ... 2010 DBLP  BibTeX  RDF
1Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh Norm Refinement and Design through Inductive Learning. Search on Bibsonomy COIN@AAMAS&MALLOW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek Using a Normative Framework to Explore the Prototyping of Wireless Grids. Search on Bibsonomy COIN@AAMAS&MALLOW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marina De Vos CLIMA-X, SEA'09 and LPNMR'09. Search on Bibsonomy KI The full citation details ... 2009 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos The Significance of Memory Costs in Answer Set Solver Implementation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marina De Vos ASP: The Future Is Bright. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch ANTON: Composing Logic and Logic Composing. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tom Crick, Martin Brain, Marina De Vos, John P. Fitch Generating Optimal Code Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Modelling Normative Frameworks Using Answer Set Programing. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Search on Bibsonomy CLIMA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri 0001, I. Gomez, S. Hidalgo, Sergio Álvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, Razvan Popescu, Siobhán Clarke, Paul Sergeant, Chris Reed, Thomas B. Quillinan, Kees Nieuwenhuis ALIVE: A Framework for Flexible and Adaptive Service Coordination. Search on Bibsonomy ESAW The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Brain, Marina De Vos Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. Search on Bibsonomy ExaCt The full citation details ... 2008 DBLP  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Georg Boenn, Martin Brain, Marina De Vos, John ffitch Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonty Needham, Marina De Vos A Games Semantics of ASP. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Embedding Landmarks and Scenes in a Computational Model of Institutions. Search on Bibsonomy COIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Brain, Tom Crick, Marina De Vos, John P. Fitch TOAST: Applying Answer Set Programming to Superoptimisation. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Answer Set Programming for Representing and Reasoning About Virtual Institutions. Search on Bibsonomy CLIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. Search on Bibsonomy CLIMA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Specifying and Reasoning About Multiple Institutions. Search on Bibsonomy COIN@AAMAS/ECAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005 Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Richard Watson, Marina De Vos An Interactive Approach to Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Debugging Logic Programs under the Answer Set Semantics. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham T-LAIMA: Answer Set Programming for Modelling Agents with Trust. Search on Bibsonomy EUMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. Search on Bibsonomy EUMAS The full citation details ... 2005 DBLP  BibTeX  RDF
1Owen Cliffe, Marina De Vos, Julian A. Padget Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. Search on Bibsonomy AAMAS Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Extending Answer Sets for Logic Programming Agents. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multi-agent sytems, game theory, knowledge representation, answer set programming
1Marina De Vos Implementing Ordered Choice Logic Programming using Answer Set Solvers. Search on Bibsonomy FoIKS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marina De Vos An Ordered Choice Logic Programming Front-End for Answer Set Solvers. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Marina De Vos, Alessandro Provetti (eds.) Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003 Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Martin Brain, Marina De Vos Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Dynamic Decision-Making in Logic Programming and Game Theory. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Semantic Forcing in Disjunctive Logic Programs. Search on Bibsonomy Computational Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Logic Programming Agents and Game Theory. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Marina De Vos, Dirk Vermeir A Logic for Modeling Decision Making with Dynamic Preferences. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Dirk Vermeir Dynamically Ordered Probabilistic Choice Logic Programming. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Dirk Vermeir On the Role of Negation in Choice Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF unfounded sets, game-theory, Logic programming, choice
1Marina De Vos, Dirk Vermeir Choice Logic Programs and Nash Equilibria in Strategic Games. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF game theory, logic programs, nondeterminism, choice, stable model semantics
Displaying result #1 - #97 of 97 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license