Attribut:Editor
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm +
Pascal Hitzler, Henrik Schärfe +
R. Nieuwenhuis and A. Voronkov +
Matthias Baaz and Andrei Voronkov +
Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer +
Émilie Charlier, Julien Leroy, Michel Rigo +
John Domingue and Chutiporn Anutariya +
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained +
Carsten Lutz and Michael Tielscher +
J. Flum and M. Rodríguez-Artalejo +
Blackburn, Patrick and Lorini, Emiliano and Guo, Meiyun +
A New Approach for Combining Decision Procedures for the Word Problem, and Its Connection to the Nelson-Oppen Combination Method +
W. McCune +
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics +
D. Basin and M. Rusinowitch +
F. Calimeri, G.I., Truszczynski, M. +
J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and L. M. Pereira and Y. Sagiv and P. J. Stuckey +
Matthias Baaz and Andrei Voronkov +
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions +
A. H. Dediu, A. M. Ionescu, C. Martín-Vide +
Martin Giese and Arild Waaler +
H. Ganzinger +
A Platform to Automatically Generate and Incorporate Documents into an Ontology-Based Content Repository +
Uwe M. Borghoff and Boris Chidlovskii +
Georg Gottlob, Daniela Inclezan, Marco Maratea +
