Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings.
type: Item
instance of: scholarly article
title: Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings.
zbMATH Open document ID: 1056.68002
published in: Lecture Notes in Computer Science
publication date: 2005-02-21T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0997.00032). Indexed articles: \textit{Baader, Franz}, Engineering of logics for the content-based representation of information, 2-3 [Zbl 1111.68663] \textit{Dastani, Mehdi; van der Torre, Leendert}, Games for cognitive agents, 5-17 [Zbl 1111.68121] \textit{Chopra, Samir; Pacuit, Eric; Parikh, Rohit}, Knowledge-theoretic properties of strategic voting, 18-30 [Zbl 1111.68669] \textit{Endriss, U.; Mancarella, P.; Sadri, F.; Terreni, G.; Toni, F.}, The CIFF proof procedure for abductive logic programming with constraints, 31-43 [Zbl 1111.68674] \textit{Heymans, Stijn; Van Nieuwenborgh, Davy; Vermeir, Dirk}, Hierarchical decision making by autonomous agents, 44-56 [Zbl 1111.68679] \textit{Giordano, Laura; Martelli, Alberto; Schwind, Camilla}, Verifying communicating agents by model checking in a temporal action logic, 57-69 [Zbl 1111.68677] \textit{Wölfl, Stefan}, Qualitative action theory. A comparison of the semantics of alternating-time temporal logic and the Kutschera-Belnap approach to agency, 70-81 [Zbl 1111.68694] \textit{de C. Ferreira, Nivea; Fisher, Michael; van der Hoek, Wiebe}, Practical reasoning for uncertain agents, 82-94 [Zbl 1111.68696] \textit{Alechina, Natasha; Logan, Brian; Whitsey, Mark}, Modelling communicating agents in timed reasoning logics, 95-107 [Zbl 1111.68661] \textit{Mariën, Maarten; Gilis, David; Denecker, Marc}, On the relation between ID-logic and answer set programming, 108-120 [Zbl 1111.68684] \textit{Wheeler, Gregory R.; Damásio, Carlos}, An implementation of statistical default logic, 121-133 [Zbl 1111.68693] \textit{Janhunen, Tomi; Oikarinen, Emilia}, Capturing parallel circumscription with disjunctive logic programs, 134-146 [Zbl 1111.68680] \textit{Pearce, David; Valverde, Agustín}, Towards a first order equilibrium logic for nonmonotonic reasoning, 147-160 [Zbl 1111.68687] \textit{Woltran, Stefan}, Characterizations fo…
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 2135270
MaRDI profile type: Publication
full work available at URL: b100483
OpenAlex ID: W335252711
DOI: 10.1007/B100483
Recommended article: Special issue: Selected papers from the 9th European conference on logics in artificial intelligence (JELIA '04), Lisbon, Portugal, September 27--30, 2004.
Recommended article: Logics in artificial intelligence. European workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996. Proceedings
Recommended article: Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24--26, 2014. Proceedings
Recommended article: Logics in artificial intelligence. European Workshop JELIA '94, York, GB, September 5-8, 1994. Proceedings
Recommended article: Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
Recommended article: Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings
Recommended article: Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings
Recommended article: Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings
Recommended article: Logics in AI. European workshop JELIA '92. Berlin, Germany, September 7--10, 1992
Recommended article: Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings
description: scientific article; zbMATH DE number 2135270