Account
Edit tools
Intern
SucheSearch
English

Attribut:Editor

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

vorherige 202050100250500nächste 20
Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
"
"Most of" leads to undecidability: Failure of adding frequencies to LTL +
Stefan Kiefer, Christine Tasson  +
1
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004 +
F. Baader and A. Voronkonv  +
18th International Conference on Rewriting Techniques and Applications (RTA 2007) +
F. Baader  +
6
6th Workshop on Unification +
F. Baader and J. Siekmann and W. Snyder  +
A
A Behavioral Characterization of Computational Systems +
Verlagshaus Monsenstein und Vannerdat OHG  +
A Benchmark Framework for a Computational Argumentation Competition +
Simon Parsons and Nir Oren and Chris Reed  +
A Brief Introduction to Formal Concept Analysis +
Pascal Hitzler and Hendrik Schärfe  +
A Chomsky-Schützenberger Theorem for Weighted Automata with Storage +
Andreas Maletti  +
A Computational Logic Approach to Syllogisms in Human Reasoning +
Ulrich Furbach, Claudia Schon  +
A Computational Logic Approach to the Belief Bias Effect +
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter  +
A Computational Logic Approach to the Suppression Task +
N. Miyake D. Peebles and R. P. Cooper  +
A Concept Language Extended with Different Kinds of Transitive Roles +
G. Görz and S. Hölldobler  +
A Concept Language for an engeneering application with part-whole relations +
A. Borgida and M. Lenzerini and D. Nardi and B. Nebel  +
A Correspondance between Temporal Description Logics +
Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider  +
A Database Approach for Modeling and Querying Video Data +
Masaru Kitsuregawa and Leszek Maciaszek and Mike Papazoglou  +
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic +
Boris Konev, Giles Reger  +
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams +
Nick Bassiliades, Guido Governatori, Adrian Paschke  +
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions +
Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm  +
A Description Logic Primer +
Jens Lehmann, Johanna Völker  +
A Description Logic of Change +
Manuela Veloso  +
Abgerufen von „https://iccl.inf.tu-dresden.de/w/index.php?title=Attribut:Editor&oldid=167“