Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings
type: Item
instance of: scholarly article
title: Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings
zbMATH Open document ID: 0898.00025
published in: Lecture Notes in Computer Science
publication date: 1998-10-21T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The preceding workshop (1994) has been announced (see Zbl 0849.00036). Indexed articles: \textit{Denecker, Marc}, The well-founded semantics is the principle of inductive definition, 1-16 [Zbl 0928.03033] \textit{Dell'Acqua, Pierangelo; Sadri, Fariba; Toni, Francesca}, Combining introspection and communication with rationality and reactivity in agents, 17-32 [Zbl 0928.03032] \textit{Lu, Wenjin; Furbach, Ulrich}, Disjunctive logic program = Horn program + control program, 33-46 [Zbl 0939.68017] \textit{Osorio, Mauricio}, Semantics of partial-order programs, 47-61 [Zbl 0946.68090] \textit{van der Hoek, Wiebe; Jaspars, Jan; Thijsse, Elias}, Persistence and minimality in epistemic logic, 62-76 [Zbl 0929.03027] \textit{van der Torre, Leendert W. N.; Tan, Yao-Hua}, Prohairetic deontic logic (PDL), 77-91 [Zbl 0932.03020] \textit{van der Torre, Leendert W. N.}, Phased labeled logics of conditional goals, 92-106 [Zbl 0945.03033] \textit{Bonacina, Maria Paola}, Analysis of distributed-search contraction-based strategies, 107-121 [Zbl 0936.03013] \textit{Bry, François; Torge, Sunna}, A deduction method complete for refutation and finite satisfiability, 122-138 [Zbl 0928.03031] \textit{Fuchs, Dirk}, Requirement-based cooperative theorem proving, 139-153 [Zbl 0928.03008] \textit{Leach, Sonia M.; Lu, James J.; Murray, Neil V.; Rosenthal, Erik}, \(\mho\)-resolution: An inference rule for regular multiple-valued logics, 154-168 [Zbl 0927.03022] \textit{Mantel, Heiko; Kreitz, Christoph}, A matrix characterization for \(\mathcal{MELL}\), 169-183 [Zbl 0928.03009] \textit{Monz, Christof; de Rijke, Maarten}, A resolution calculus for dynamic semantics, 184-198 [Zbl 0928.03010] \textit{Pichler, Reinhard}, Algorithms on atomic representations of Herbrand models, 199-215 [Zbl 0929.03021] \textit{Janhunen, Tomi}, On the intertranslatability of autoepistemic, default and priority logics, and parallel circumscription, 216-23…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1214277
zbMATH Keywords: Dagstuhl (Germany)
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: JELIA '98
zbMATH Keywords: Logics
zbMATH Keywords: Artificial intelligence
MaRDI profile type: Publication
Recommended article: Logics in artificial intelligence. Proceedings of JELIA 1998, Dagstuhl, Germany, October 12--15, 1998
Recommended article: Logics in AI. European workshop JELIA '92. Berlin, Germany, September 7--10, 1992
Recommended article: Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings
Recommended article: Logics in artificial intelligence. European Workshop JELIA '94, York, GB, September 5-8, 1994. Proceedings
Recommended article: Logics in artificial intelligence. European workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996. 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 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings
Recommended article: Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
Recommended article: Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20--22, 2023. Proceedings
Recommended article: Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings.
description: scientific article; zbMATH DE number 1214277