Intellectics and computational logic. Papers in honor of Wolfgang Bibel (Q5956944)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Baumgartner, P.; Eisinger, N.; Furbach, U.}, A confluent connection calculus, 3-26 [Zbl 0997.03007] \textit{Brewka, Gerhard; Eiter, Thomas}, Prioritizing default logic, 27-45 [Zbl 0997.03032] \textit{Brüning, Stefan; Schaub, Torsten}, A connection calculus for handling incomplete information, 47-66 [Zbl 0997.03008] \textit{Caferra, Ricardo; Peltier, Nicolas}, The connection method, constraints and model building, 67-84 [Zbl 0996.03006] \textit{Demolombe, Robert; Fariñas del Cerro, Luis}, Towards a logical characterisation of sentences of the kind ``sentence \(P\) is about object \(c\)'', 85-99 [Zbl 1018.03008] \textit{Eder, Elmar}, The cut rule in theorem proving, 101-123 [Zbl 0997.03009] \textit{Egly, Uwe; Tompits, Hans}, Some strengths of nonmonotonic reasoning, 125-141 [Zbl 0997.03033] \textit{Eusterbrock, Jutta}, Composing re-usable synthesis methods through graph-based viewpoints, 143-158 [Zbl 1001.68944] \textit{Fronhöfer, Bertram}, Proof structures and matrix graphs, 159-173 [Zbl 0997.03044] \textit{Herrmann, Christoph S.}, AI and cognitive science: Feedback leads to a new neural concept, 175-188 [Zbl 1028.68109] \textit{Kreitz, C.; Otten, J.; Schmitt, S.; Pientka, B.}, Matrix-based constructive theorem proving, 189-205 [Zbl 0996.03007] \textit{Hölldobler, Steffen; Störr, Hans-Peter}, Complex plans in the fluent calculus, 207-223 [Zbl 1008.68095] \textit{Lakemeyer, Gerhard; Levesque, Hector J.}, Querying AOL knowledge bases. Preliminary report, 225-244 [Zbl 1008.68127] \textit{Letz, Reinhold}, Properties and relations of tableau and connection calculi, 245-261 [Zbl 0996.03008] \textit{Melis, Erica; Siekmann, Jörg H.}, Concepts in proof planning, 263-276 [Zbl 1008.68119] \textit{Robinson, J. A.}, Proof = guarantee + explanation, 277-294 [Zbl 1001.03051] \textit{Schumann, Johann}, Automated theorem proving in high-quality software design, 295-312 [Zbl 1008.68120] \textit{Strohmaier, Antje}, A complete neural network algorithm for Horn-SAT, 313-325 [Zbl 0999.68089] \textit{Thielscher, Michael}, Nondeterministic actions in the fluent calculus: Disjunctive state update axioms, 327-345 [Zbl 1052.68124] \textit{Wagner, Christian}, The illusion of knowledge (or why data is more important than knowledge), 347-359 [Zbl 1008.68096] \textit{Walther, Christoph}, Criteria for termination, 361-386 [Zbl 1008.68077]