|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 7 keywords
|
|
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tina Balke, Marina De Vos, Julian A. Padget |
Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation.  |
Future Generation Comp. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Normative design using inductive learning |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ashley Mills, David Lister, Marina De Vos |
Understanding Static Intercell Interference Coordination Mechanisms in LTE. |
JCM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic music composition using answer set programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Normative design using inductive learning. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas |
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. |
Web Intelligence/IAT Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Watson, Marina De Vos |
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas |
On-line reasoning for institutionally-situated BDI agents. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marina 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 |
COIN@AAMAS&MALLOW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis |
A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution. |
VTC Fall |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis |
A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution. |
VTC Spring |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic Music Composition using Answer Set Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Julian A. Padget, Ken Satoh |
Legal Modelling and Reasoning Using Institutions. |
JSAI-isAI Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek |
Using a Normative Framework to Explore the Prototyping of Wireless Grids. |
COIN@AAMAS&MALLOW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh |
Norm Refinement and Design through Inductive Learning. |
COIN@AAMAS&MALLOW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh |
Norm Refinement and Design through Inductive Learning. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
The Significance of Memory Costs in Answer Set Solver Implementation. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. |
CLIMA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, 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. |
ESAW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Modelling Normative Frameworks Using Answer Set Programing. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Crick, Martin Brain, Marina De Vos, John Fitch |
Generating Optimal Code Using Answer Set Programming. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
ANTON: Composing Logic and Logic Composing. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget |
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos |
ASP: The Future Is Bright. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Boenn, Martin Brain, Marina De Vos, John Fitch |
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget |
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. |
ExaCt |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jonty Needham, Marina De Vos |
A Games Semantics of ASP. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Embedding Landmarks and Scenes in a Computational Model of Institutions. |
COIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Answer Set Programming for Representing and Reasoning About Virtual Institutions. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir |
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Tom Crick, Marina De Vos, John Fitch |
TOAST: Applying Answer Set Programming to Superoptimisation. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham |
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Debugging Logic Programs under the Answer Set Semantics. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marina 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 |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Richard Watson, Marina De Vos |
An Interactive Approach to Answer Set Programming. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. |
AAMAS Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Cliffe, Marina De Vos, Julian A. Padget |
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham |
T-LAIMA: Answer Set Programming for Modelling Agents with Trust. |
EUMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Extending Answer Sets for Logic Programming Agents. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
multi-agent sytems, game theory, knowledge representation, answer set programming |
| 1 | Marina De Vos |
Implementing Ordered Choice Logic Programming using Answer Set Solvers. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos |
An Ordered Choice Logic Programming Front-End for Answer Set Solvers. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marina 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 |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Martin Brain, Marina De Vos |
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Dynamic Decision-Making in Logic Programming and Game Theory. |
Australian Joint Conference on Artificial Intelligence |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Semantic Forcing in Disjunctive Logic Programs. |
Computational Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Logic Programming Agents and Game Theory. |
Answer Set Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
A Logic for Modeling Decision Making with Dynamic Preferences. |
JELIA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
Dynamically Ordered Probabilistic Choice Logic Programming. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Dirk Vermeir |
On the Role of Negation in Choice Logic Programs. |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
unfounded sets, game-theory, Logic programming, choice |
| 1 | Marina De Vos, Dirk Vermeir |
Choice Logic Programs and Nash Equilibria in Strategic Games. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
game theory, logic programs, nondeterminism, choice, stable model semantics |
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")