Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings
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-232 [Zbl 0928.03027] \textit{Linke, Thomas; Schaub, Torsten}, An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem, 233-247 [Zbl 0928.03028] \textit{Dawson, Jeremy E.; Goré, Rajeev}, A mechanised proof system for relation algebra using display logic, 264-278 [Zbl 0928.03007] \textit{Demri, Stéphane; Konikowska, Beata}, Relative similarity logics are decidable: Reduction to \(\text{FO}^2\) with equality, 279-293 [Zbl 0935.03018] \textit{Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola}, A conditional logic for belief revision, 294-308 [Zbl 0928.03015] \textit{de Guzmán, Inman P.; Ojeda-Aciego, Manuel; Valverde, Augustín}, Implicates and reduction techniques for temporal logics, 309-323 [Zbl 0927.03034] \textit{Koriche, Frédéric}, A logic for anytime deduction and anytime compilation, 324-341 [Zbl 0928.03034] \textit{Kerber, Manfred}, On knowledge, strings, and paradoxes, 342-354 [Zbl 0928.03016] \textit{Lu, Jianguo; Harao, Masateru; Hagiya, Masami}, Higher order generalization, 368-381 [Zbl 0928.03035]
- Logics in artificial intelligence. Proceedings of JELIA 1998, Dagstuhl, Germany, October 12--15, 1998
- Logics in AI. European workshop JELIA '92. Berlin, Germany, September 7--10, 1992
- Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings
- Logics in artificial intelligence. European Workshop JELIA '94, York, GB, September 5-8, 1994. Proceedings
- Logics in artificial intelligence. European workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996. Proceedings
- Logics in artificial intelligence. 8th European conference, JELIA 2002, Cosenza, Italy, September 23--26, 2002. Proceedings
- Logics in artificial intelligence. European workshop, JELIA 2000, Málaga, Spain, September 29--October 2, 2000. Proceedings
- Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
- Logics in artificial intelligence. 18th European conference, JELIA 2023, Dresden, Germany, September 20--22, 2023. Proceedings
- Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings.
- Logics in AI. European workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings
- Fuzzy logic in artificial intelligence. IJCAI '93 workshop, Chamberry, France, August 28, 1993. Proceedings
- Logics in artificial intelligence. 9th European conference, JELIA 2004, Lisbon, Portugal, September 27--30, 2004. Proceedings.
- Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
This page was built for publication: Logics in artificial intelligence. European workshop, JELIA '98. Dagstuhl, Germany, October 12--15, 1998. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1270495)
