Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings
type: Item
instance of: scholarly article
title: Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings
zbMATH Open document ID: 1007.00026
published in: Lecture Notes in Computer Science
publication date: 2003-03-12T00:00:00Z
full work available at URL: t2514.htm
review text: The articles of this volume will be reviewed individually. The 7th conference (LPAR 2000) has been reviewed (see Zbl 0952.00026). Indexed articles: \textit{Alpuente, M.; Escobar, S.; Gramlich, B.; Lucas, S.}, Improving on-demand strategy annotations, 1-18 [Zbl 1023.03530] \textit{Apt, K. R.; Vermeulen, C. F. M.}, First-order logic as a constraint programming language, 19-35 [Zbl 1023.03018] \textit{Autexier, Serge; Hutter, Dieter}, Maintenance of formal software developments by stratified verification, 36-52 [Zbl 1023.03531] \textit{Beckmann, Arnold}, A note on universal measures for weak implicit computational complexity, 53-67 [Zbl 1023.03033] \textit{Bollig, Benedikt; Leucker, Martin; Lucas, Philipp}, Extending compositional message sequence graphs, 68-85 [Zbl 1023.68005] \textit{Brotherston, James; Degtyarev, Anatoli; Fisher, Michael; Lisitsa, Alexei}, Searching for invariants using temporal resolution, 86-101 [Zbl 1023.03019] \textit{Castellini, Claudio; Smaill, Alan}, Proof planning for feature interactions: A preliminary report, 102-114 [Zbl 1023.03533] \textit{Dastani, Mehdi; van der Torre, Leendert}, An extension of BDI\(_{\text{CTL}}\) with functional dependencies and components, 115-129 [Zbl 1023.68096] \textit{Dowek, Gilles; Hardin, Thérèse; Kirchner, Claude}, Binding logic: Proofs and models, 130-144 [Zbl 1023.03023] \textit{Edelkamp, Stefan; Leven, Peter}, Directed automated theorem proving, 145-159 [Zbl 1023.68084] \textit{Fan, Xiaocong; Yen, John}, A framework for splitting BDI agents, 160-174 [Zbl 1023.68098] \textit{Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido}, On the complexity of disjunction and explicit definability properties in some intermediate logics, 175-189 [Zbl 1023.03056] \textit{Fontaine, Pascal; Gribomont, E. Pascal}, Using BDDs with combinations of theories, 190-201 [Zbl 1023.03535] \textit{Grandi, Fabio}, On expressive description logics with composition of roles in number restrictions, 202-215 [Zbl 1023.03536] \textit{Greco,…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1880693
zbMATH Keywords: Programming
zbMATH Keywords: Artificial intelligence
zbMATH Keywords: Reasoning
zbMATH Keywords: LPAR 2002
zbMATH Keywords: Tbilisi (Georgia)
zbMATH Keywords: Logic
MaRDI profile type: Publication
DOI: 10.1007/978-3-642-28717-6
OpenAlex ID: W3041182389
description: scientific article; zbMATH DE number 1880693