Research

Items by De Vos, Marina

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001
Number of items: 94.

2016

Jahedpari, F., Rahwan, T., Michalak, T., Hashemi, S., De Vos, M., Padget, J. and Woon, W. L., 2016. Forthcoming. Online Prediction via Artificial Continuous Prediction Markets. IEEE Intelligent Systems

Shams, Z., Vos, M. D., Padget, J. and Vasconcelos, W., 2016. Implementation of normative practical reasoning with durative actions. Springer International Publishing, pp. 335-353. (Lecture Notes in Computer Science; 9628)

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 9628)

Shams, Z., De Vos, M., Padget, J. and Oren, N., 2016. Forthcoming. Normative practical reasoning via argumentation and dialogue. In: 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. .

2015

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Basurra, S. S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks, 25 (Part A), pp. 16-37.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

2014

Shams, Z., Vos, M. D. and Satoh, K., 2014. ArgPROLEG:A normative framework for the JUF theory. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Vol. 8417. Springer, pp. 183-198. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8417)

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154. (Lecture Notes in Computer Science)

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

2013

De Vos, M., Balke, T. and Satoh, K., 2013. Combining Event- and State-based Norms:Extended Abstract. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, 2013-05-06 - 2013-05-10, MN.

Vatsikas, S., Armour, S., Lewis, T. and De Vos, M., 2013. Distributed quality of service provision using coalitions and the nash bargaining solution. IET Communications, 7 (4), pp. 340-348.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Berlin, Germany: Springer, pp. 53-70. (Lecture Notes in Computer Science; 7756)

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. and Schapachnik, F., 2013. Computational Models for Normative Multi-Agent Systems. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92. (Dagstuhl Follow-Ups)

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04. Berlin: Springer, pp. 1-19. (Lecture Notes in Computer Science; 7784)

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 141-156. (Lecture Notes in Computer Science; 7856)

Rauwolf, P., Balke, T. and De Vos, M., 2013. Modelling normative awareness:First considerations. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05.

Balke, T., Noriega, P., Verhagen, H. and De Vos, M., 2013. Social coordination:Principles, artifacts and theories. In: Social Coordination. , p. 1.

2012

Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H., 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming, 12 (4-5), pp. 616-637.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34. (AAAI Technical Report; WS-12-16)

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. and Satoh, K., 2012. Handling change in normative specifications. In: Hoek, W. v. d., Padgham, L., Conitzer, V. and Winikoff, M., eds. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2012, 2012-06-04 - 2012-06-08. IFAAMAS, pp. 1369-1370.

Balke, T., De Vos, M. and Padget, J., 2012. Normative run-time reasoning for institutionally-situated BDI agents. Berlin, Germany: Springer Verlag, pp. 129-148. (Lecture Notes in Computer Science; 7254)

2011

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution. In: Vehicular Technology Conference (VTC Fall), 2011 IEEE, 2011-09-05 - 2011-09-08.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Mills, A., Lister, D. and De Vos, M., 2011. Understanding static inter-cell interference coordination mechanisms in LTE. Journal of Communications, 6 (4), pp. 312-318.

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution. In: 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring - Proceedings. Piscataway, NJ: IEEE. (IEEE Vehicular Technology Conference)

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Watson, R. and De Vos, M., 2011. ASTREA: Answer sets for a trusted reasoning environment for agents. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Heidelberg: Springer, pp. 490-509. (Lecture Notes in Computer Science; 6565)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 135-138. (ICMC)

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01. Heidelberg: Springer, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 77-94. (Lecture Notes in Computer Science; 6541)

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26. Piscataway, U.S.A: IEEE Computer Society.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 95-113. (Lecture Notes in Computer Science)

2010

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01. IEEE, pp. 1188-1191.

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26.

Mills, A., Lister, D., De Vos, M. and Ji, Y., 2010. The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX. In: Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE Computer Society, pp. 1-5.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

2009

, 2009. SEA09:Software Engineering for Answer Set Programming. Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-20)

Brain, M., Cliffe, O. and De Vos, M., 2009. A pragmatic programmer’s guide to answer set programming. In: Software Engineering for Answer Set Programming (SEA09), 2009-09-14.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009).Vol. 5753, 2009. Springer, pp. 542-547. (Lecture Notes in Artificial Intelligence)

Brain, M. and De Vos, M., 2009. The significance of memory costs in answer set solver implementation. Journal of Logic and Computation, 19 (4), pp. 615-641.

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

De Vos, M., 2009. ASP: The future is bright a position paper. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 625-627. (Lecture Notes in Computer Science)

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 554-559. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

2008

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Automatic composition of melodic and harmonic music by answer set programming. In: Garcia de la Banda, M. and Pontelli, E., eds. Logic Programming. Proceedings of the 24th International Conference, ICLP 2008.5366 ed. Springer, pp. 160-174. (Lecture Notes in Computer Science)

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Anton: Answer Set Programming in the Service of Music. In: Pagnucco, M. and Thielscher, M., eds. Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Sydney: University of New South Wales, pp. 85-93.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual dynamic adaptation of models and service enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01.

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01. Springer, pp. 41-57. (Lecture Notes in Computer Science; 4870)

2007

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2007-08-01. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

de Vos, M. and Schaub, T., 2007. SEA'07: Software engineering for answer set programming. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-05)

Sureshkumar, A., De Vos, M., Brain, M. and Fitch, J., 2007. APE: an AnsProlog* environment. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14.

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems. 7th International Workshop, CLIMA VII, 2006-05-08 - 2006-05-09. Heidelberg, Germany: Springer, pp. 60-79. (Lecture Notes in Computer Science; 4371)

2006

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2006. An Application of Answer Set Programming: SuperoptimisationA Preliminary Report. In: Dix, J. and Hunter, A., eds. Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006-05-01.

Van Nieuwenborgh, D., De Vos, M., Heymans, S. and Vermeir, D., 2006. Hierarchical Decision Making in Multi-Agent Systems using Answer Set Programming. In: Inoue, K., Ken, S. and Toni, F., eds. Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers.Vol. 4371. Heidelberg: Springer, pp. 20-40. (Lecture Notes in Artificial Intelligence)

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. (Lecture Notes in Artificial Intelligence)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. Berlin, Germany: Springer, pp. 99-113. (Lecture Notes in Artificial Intelligence; 3913)

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. In: Logic Programming, Proceedings.Vol. 4079. , pp. 270-284. (Lecture Notes in Computer Science)

2005

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

Brain, M., Watson, R. and De Vos, M., 2005. An Interactive Approach to Answer Set Programming. In: De Vos, M. and Provetti, A., eds. ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: De Vos, M. and Provetti, A., eds. ASP'05: Answer set programming: advances in theory and implementation.Vol. 142. , pp. 141-152. (CEUR Workshop Proceedings; 142)

Cliffe, O., Padget, J. A. and De Vos, M., 2005. Specifying and analysing agent-based social institutions using answer set programming. Department of Computer Science, University of Bath. (Computer Science Technical Reports)

2004

De Vos, M. and Vermeir, D., 2004. Extending answer sets for logic programming agents. Annals of Mathematics and Artificial Intelligence, 42 (1-3), pp. 103-139.

De Vos, M., 2004. Implementing ordered choice logic programming using answer set solvers. In: Foundations of Information and Knowledge Systems, Proceedings.Vol. 2942. , pp. 59-77. (Lecture Notes in Computer Science)

2003

De Vos, M., 2003. An Ordered Choice Logic Programming Front-End for Answer Set Solvers. In: Buccafurri, F., ed. APPIA-GULP-PRODE 2003: 2003 Joint Conference on DeclaritiveProgramming, 2003-09-01.

Brain, M. and De Vos, M., 2003. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: Marina~De, V. and Alessandro, P., eds. 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003, 2003-09-26 - 2003-09-28.

2002

De Vos, M. and Vermeir, D., 2002. Logic Programming Agents Playing Games. In: Bramer, M., Preece, A. and Coenen, F., eds. Research and Development in Intelligent Systems XIX. Springer, p. 323. (BCS Conference Series)

De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. In: Al 2002: Advances in Artificial Intelligence.Vol. 2557. , pp. 36-47. (Lecture Notes in Artificial Intelligence)

2001

De Vos, M. and Vermeir, D., 2001. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17 (4), pp. 651-684.

De Vos, M. and Vermeir, D., 2001. Decisions, Agents and Games. In: Van Benthem, J., ed. Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge, Siena, Italy, 2001-07-01.

This list was generated on Thu Sep 29 06:02:33 2016 IST.