Publications of Group Wissensverarbeitung

From International Center for Computational Logic
Toggle side column

Publications of Group Wissensverarbeitung


Journal Articles

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018
Details
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download
Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
Details
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Détection de contraintes de cardinalité dans les CNF
10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14), 253-262, 2014
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Journal of Applied Non-Classsical Logics, 24(1--2):61-85, 2014
Details
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
Contextual Abductive Reasoning with Side-Effects
Journal of Theory and Practice of Logic Programming (TPLP), 14(4-5):633-648, 2014
Details
Christoph Wernhard
Projection and Scope-Determined Circumscription
Journal of Symbolic Computation, 47:1089-1108, 2012
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432,  2008
Details
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence,  2008
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Journal of Information, 9(1):7-20, January 2006
Details Download
Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006
Details
Steffen Hölldobler, Eldar Karabaev, Olga Skvortsova
FLUCAP: A Heuristic Search Planner for First-Order MDPs
Journal of Artificial Intelligence Research, 27:419-439, 2006
Details Download
Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Theoretical Computer Science, 368(1--2):30--49, December 2006
Details Download
Sebastian Bader, Pascal Hitzler
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):273-300, 2004
Details
Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
Logic Programs and Connectionist Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):245-272, 2004
Details Download
Pascal Hitzler
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
Details Download
Kai Brünnler
Two Restrictions on Contraction
Logic Journal of the IGPL, 11(5):525-529, 2003
Details Download
Pascal Hitzler, Anthony K. Seda
Generalized Metrics and Uniquely Determined Logic Programs
Theoretical Computer Science, 305(1--3):187-219, 2003
Details
Steffen Hölldobler, Hans-Peter Störr, Tran Dinh Khang
The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers
International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305, 2003
Details
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS), 11(Suppl.):51-74, November 2003
Details
Lutz Straßburger
MELL in the Calculus of Structures
Theoretical Computer Science, 309(1--3):213-285, 2003
Details Download
Pascal Hitzler, Anthony Karel Seda
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Fields Institute Communications (32):219-235, 2002
Details
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, 7(007), 2002
Details
Matthias Wendt
Unfolding the Well-founded Semantics
Journal of Electrical Engineering, 53(12/s):56-59, 2002
Details
Pascal Hitzler, Anthony Karel Seda
Unique Supported-Model Classes of Logic Programs
Information, 4(3):295-302, 2001
Details
Pascal Hitzler, Anthony Karel Seda
A "Converse" of the Banach Contraction Mapping Theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3-6, 2001
Details
Steffen Hölldobler, Hans-Peter Störr, Yvonne Kalinke
Approximating the Semantics of Logic Programs by Recurrent Neural Networks
Applied Intelligence, 11:45-58, 1999
Details
Michael Thielscher
Reasoning About Actions: Steady Versus Stabilizing State Constraints
AI Journal, 104:339-355, 1998
Details
Sven-Erik Bornscheuer, Michael Thielscher
???
Fortschritte in der Künstlichen Intelligenz, Dresden University Press, 1996
Details
Sven-Erik Bornscheuer, Michael Thielscher
Representing Concurrent Action and Solving Conflicts
Journal of the IGPL, 3(4):355-368, 1996
Details
Sven-Erik Bornscheuer, Michael Thielscher
Explicit and Implicit Indeterminism
Journal of Logic Programming, Special Issue `Action and Change', 1996
Details
Gerd Gros̈e, Steffen Hölldobler, Josef Schneeberger
Linear Deductive Planning
Journal of Logic and Computation, 6(2):233-262, 1996
Details
Yvonne Kalinke, Hans-Peter Störr
Rekurrente Neuronale Netze zur Approximation der Semantik akzeptabler logischer Programme
Fortschritte in der Künstlichen Intelligenz, Dresden University Press (27), 1996
Details
Wolfgang Oertel, Uwe Petersohn
Hybride Wissensorganisation mittels Objektstrukturen
Fortschritte in der Künstlichen Intelligenz (KI 96), Dresden University Press (82), 1996
Details
Antje Strohmaier
Parallele Lokale Suchverfahren
Fortschritte in der Künstlichen Intelligenz, Dresden University Press (31), 1996
Details
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, G. Strube
FABEL
KI, 10(3):70-76, 1996
Details
Sven-Erik Bornscheuer, Steffen Hölldobler
Deduktives Planen
Wissenschaftliche Zeitschrift der TU Dresden, 44(6):39-44, 1995
Details
Steffen Hölldobler, Michael Thielscher
Computing Change and Specificity with Equational Logic Programs
Annals of Mathematics and Artificial Intelligence, 14:99-133, 1995
Details

Proceedings Articles

Emmanuelle-Anna Dietz Saldanha, Robert Schambach
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
In Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm, eds., Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief and the 7th Workshop & Kognition, volume 2445 of CEUR Workshop Proceedings, 2-13, 2019. CEUR-WS.org
Details
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details
Emmanuelle-Anna Dietz
A computational logic approach to the belief bias in human syllogistic reasoning
In Patrick Brézillon, Roy M. Turner, Carlo Penco, eds., 10th International and Interdisciplinary Conference on Modeling and Using Context, volume 10257 of Lecture Notes in Computer Science, 691--707, 2017. Springer
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
Contextual abduction and its complexity issues
In Richard Booth, Giovanni Casini, Ivan Varzinczak, eds., Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe), volume 1872 of CEUR Workshop Proceedings, 58–70, 2017. CEUR-WS.org
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer
Details
Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas
In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, eds., Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), volume 2013 of CEUR Workshop Proceedings, 82-98, 2017. CEUR-WS.org
Details
Jana Kittelmann, Christoph Wernhard
Knowledge-Based Support for Scholarly Editing and Text Processing
DHd 2016 – Digital Humanities im deutschsprachigen Raum: Modellierung – Vernetzung – Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts., 176-179, 2016. nisaba verlag
Details
Jana Kittelmann, Christoph Wernhard
Towards Knowledge-Based Assistance for Scholarly Editing
In Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds., 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts), 29-31, 2016
Details
Christoph Wernhard
The PIE system for Proving, Interpolating and Eliminating
In Pascal Fontaine, Stephan Schulz, Josef Urban, eds., 5th Workshop on Practical Aspects of Automated Reasoning (PAAR), volume 1635 of CEUR Workshop Proceedings, 125-138, 2016
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Höps
A computational logic approach to human spatial reasoning
IEEE Symposium Series on Computational Intelligence, 1627-1634, 2015. IEEE
Details
E.-A. Dietz, S. Hölldobler, L. M. Pereira
On Indicative Conditionals
In S. Hölldobler and Y. Liang, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details
Emmanuell-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On conditionals
In Gottlob, G., Sutcliffe, G., Voronkov, A., eds., Global Conference on Artificial Intelligence, volume 36 of EPiC Series in Computing, 79--92, 2015. EasyChair
Details
Emmanuelle-Anna Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning
In Ulrich Furbach, Claudia Schon, eds., Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31., 17-31, 2015
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals
In Hölldobler, S., Liang, Y, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download
Christoph Wernhard
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications
In Hans de Nivelle, eds., Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, volume 9323 of LLNCS (LNAI), 249-265, 2015. Springer
Details
Enrique M. Alfonso, Norbert Manthey
Riss 4.27 BlackBox
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 68-69, 2014. University of Helsinki, Helsinki, Finland
Details
Enrique Alfonso, Norbert Manthey
New CNF Features and Formula Classification
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 57-71, 2014. EasyChair
Details
Adrian Balint, Norbert Manthey
SparrowToRiss
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 77, 2014. University of Helsinki, Helsinki, Finland
Details
Adrian Balint, Davide Lanti, Ahmed Irfan, Norbert Manthey
CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 21, 2014. University of Helsinki, Helsinki, Finland
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Efficient SAT-Encoding of Linear CSP Constraints
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM-2014), Special session on Boolean and pseudo-Boolean Functions, January 6â8, Fort Lauderdale, FL, USA, 2014, to appear, 2014
Details
Pedro Barahona, Steffen Hölldobler, Van-Hau Nguyen
Representative Encodings to Translate Finite CSPs into SAT
CPAIOR, 251-267, 2014
Details
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Detecting Cardinality Constraints in CNF
In Carsten Sinz and Uwe Egly, eds., Theory and Applications of Satisfiability Testing ? SAT 2014, volume 8561 of Lecture Notes in Computer Science, 285-301, 2014. Springer
Details
Marijn J.H. Heule, Norbert Manthey, Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
In Daniel Le Berre, eds., Pragmatics of SAT 2014, volume 27 of EPiC Series, 12-25, 2014. EasyChair
Details
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 89-102, 2014. EasyChair
Details
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Steffen Hölldobler and Andrey Malikov and Christoph Wernhard, eds., Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, 2014
Details
Jana Kittelmann, Christoph Wernhard
Semantik, Linked Data, Web-Präsentation: Grundlagen der NachlasserschlieÃung im Portal www.pueckler-digital.de
In Anne Baillot and Anna Busch, eds., Workshop Datenmodellierung in digitalen Briefeditionen und ihre interpretatorische Leistung, 2014
Details
Davide Lanti, Ahmed Irfan, Norbert Manthey
Pcasso -- a Parallel CooperAtive Sat SOlver
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 56, 2014. University of Helsinki, Helsinki, Finland
Details
Norbert Manthey
Extended Resolution in Modern SAT Solving
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
Details
Norbert Manthey
MinitSAT
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 48, 2014. University of Helsinki, Helsinki, Finland
Details
Norbert Manthey, Tobias Philipp, Peter Steinke
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 123-134, 2014. Springer
Details
Norbert Manthey, Tobias Philipp
Formula Simplifications as DRAT Derivations
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 111-122, 2014. Springer
Details
Norbert Manthey
Riss 4.27
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 65-67, 2014. University of Helsinki, Helsinki, Finland
Details
Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 98-110, 2014. Springer
Details
Norbert Manthey
Generating Clique Coloring Problem Formulas
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 89, 2014. University of Helsinki, Helsinki, Finland
Details
Norbert Manthey, Peter Steinke
Too Many Rooks
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 97-98, 2014. University of Helsinki, Helsinki, Finland
Details
Van-Hau Nguyen, Thai Mai Son
Solving the All-Interval Series Problem: SAT vs CP
5th International Symposium on Information and Communication Technology, SoICT '14, Hanoi, Viet Nam - December 04 - 05, 2014, to appear, 2014
Details
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
A Computational Logic Approach to the Belief Bias Effect
In Chitta Baral, Giuseppe De Giacomo, Thomas Eiter, eds., 14th International Conference on Principles of Knowledge Representation and Reasoning, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. AAAI Press
Details
Tobias Philipp
Clause Simplifications in Search-Space Decomposition-Based SAT Solvers
In Ulle Endriss, João Leite, eds., 7th European Starting AI Researcher Symposium (STAIRS), volume 264 of Frontiers in Artificial Intelligence and Applications, 211-219, 2014. IOS Press
Details
Christoph Wernhard
Application Patterns of Projection/Forgetting
In Laura Kovacs and Georg Weissenbacher, eds., Workshop on Interpolation: From Proofs to Applications (iPRA 2014), 2014
Details
Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
In Alexander Bolotov and Manfred Kerber, eds., Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), 36-37, 2014
Details
Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Pragmatics of SAT(POS'13), 2013
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Details
A. Belov, N. Manthey, J. P. Marques-Silva
Parallel MUS Extraction
In M. Järvisalo and A. Van Gelder, eds., Theory and Applications of Satisfiability Testing - SAT 2013, volume 7962 of LNCS, 133-149, 2013. Springer
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013
Details
Kilian Gebhard, Norbert Manthey
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013
Details
K. Gebhardt, N. Manthey
Parallel Variable Elimination on CNF Formulas
In I. J. Timm and M. Thimm, eds., KI 2013: Advances in Artificial Intelligence,, volume 8077 of LNCS, 61-73, 2013. Springer
Details
S. Hölldobler, V.H. Nguyen
On SAT-Encodings of the At-Most-One Constraint
In G. Katsirelos and C.-G. Quimpe, eds., Proceedings ModRef2013: The Twelfth International Workshop on Constraint Modelling and Reformulation, 1-17, 2013
Details
Steffen Hölldobler, Van Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint
In George Katsirelos and Claude-Guy Quimper, eds., Proc. The Twelfth International Workshop on Constraint Modelling and Reformulation, Uppsala, Sweden, September 16-20, 1-17, 2013
Details
Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
Details
Vladimir Klebanov, Norbert Manthey, Christian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
Details
Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
In Giuseppe Nicosia and Panos M. Pardalos, eds., Learning and Intelligent Optimization, volume 7997 of Lecture Notes in Computer Science, 52-58, 2013. Springer
Details
Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers
In Matti Järvisalo and Allen Van Gelder, eds., Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, volume 7962 of LNCS, 22-39, 2013. Springer
Details
Van Hau Nguyen, Miroslav N. Velev, Pedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), Special Track on SAT and CSP, November 4-6, Washington DC, USA, 2013, 1028-1035, 2013. Conference Publishing Services
Details
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, volume 8152 of LNCS (LNAI), 103-119, 2013. Springer
Details
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
In Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf, eds., Applications of Declarative Programming and Knowledge Management, 19th International Conference (INAP 2011) and 25th Workshop on Logic Programming(WLP 2011), Revised Selected Papers, volume 7773 of LNCS (LNAI), 289-296, 2013. Springer
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics
In Egré, P. and Ripley, R., eds., Proceedings ESSLLI 2012 workshop on trivalent logics and their applications, 27-38, 2012
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Simple Model for the Wason Selection Task
In T. Barkowsky and M. Ragni and F. Stolzenburg, eds., Human Reasoning and Automated Deduction: KI 2012 workshop proceedings, 2012
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
In N. Miyake D. Peebles and R. P. Cooper, eds., Proceedings of the 34th Annual Conference of the Cognitive Science Society, 1500-1505, 2012. Cognitive Science Society
Details
S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012
Details
Norbert Manthey, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12),  2012
Details
Norbert Manthey, Robert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12),  2012
Details
Norbert Manthey, Marijn J. H. Heule, Armin Biere
Automated Reencoding of Boolean Formulas
Proceedings of Haifa Verification Conference 2012, 2012
Details
Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
In Thomas Barkowsky and Marco Ragni and Frieder Stolzenburg, eds., Human Reasoning and Automated Deduction: KI 2012 Workshop Proceedings, volume SFB/TR 8 Report 032-09/2012 of Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, 41-48, 2012. Universität Bremen / Universität Freiburg, Germany
Details
S. Hölldobler, T. Philipp, C. Wernhard
An Abductive Model for Human Reasoning
Proceedingth Tenth International Symposium on Logical Formalizations of Commonsense Reasoning, 2011
Details
S. Hölldobler, N. Manthey, V.H. Nguyen, J. Stecklina, P. Steinke
A Short Overview on Modern Parallel SAT-Solvers
In I. Wasito et.al., eds., Proceedings of the International Conference on Advanced Computer Science and Information Systems, 201-206, 2011
Details
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning (Poster Paper)
Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical Reports, 135-138, 2011. AAAI Press
Details
Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011
Details
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011
Details
S. Hölldobler, N. Mathey, A. Saptawijaya
Improving Resource-Unaware SAT Solvers
In C. Fernmüller and A. Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, 519-534, 2010. Springer
Details
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download
Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP'09, volume 556 of CEUR Workshop Proceedings, 2010
Details
Christoph Wernhard
Circumscription and Projection as Primitives of Logic Programming
In M. Hermenegildo and T. Schaub, eds., Technical Communications of the 26th International Conference on Logic Programming, ICLP'10, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), 2010. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Details Download
Jan Funke, Tobias Pietzsch
A Framework For Evaluating Visual SLAM
Proc. BMVC'09, 2009
Details Download
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Contraction Properties of a Semantic Operator for Human Reasoning
In Lei Li and K. K. Yen, eds., Proceedings of the Fifth International Conference on Information, 228-231, 2009. International Information Institute
Details
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logic Programs under Three-Valued Łukasiewicz's Semantics
In P.,M. Hill and D.,S. Warren, eds., Logic Programming, volume 5649 of LNCS, 464-478, 2009. Springer
Details
S. Hölldobler
Cognitive Science, Computational Logic and Connectionism
In M. Adriani et.al., eds., Proceedings International Conference on Advanced Computer Science and Information Systems (ICACSIS), 1-6, 2009
Details
S. Hölldobler, C.\,D.\,P. Kencana Ramli
Logics and Networks for Human Reasoning
In C. Alippi et. al., eds., ICANN, volume 5769 of LNCS, 85-94, 2009. Springer
Details
Christoph Wernhard
Tableaux for Projection Computation and Knowledge Compilation
In Martin Giese and Arild Waaler, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, volume 5607 of Lecture Notes in Computer Science, 325-340, 2009. Springer
Details
Christoph Wernhard
Literal Projection and Circumscription
In Nicolas Peltier and Viorica Sofronie-Stokkermans, eds., International Workshop on First-Order Theorem Proving, FTP'09, 2009. University of Oslo
Details
Tobias Pietzsch
Planar Features for Visual SLAM
Proc. German Conference on Artificial Intelligence (KI 2008), September 2008. Springer
Details Download
Isara Anantavrasilp, Thorsten Schöler
Providing Quality-of-Service Support to Legacy Applications Using Machine Learning
ADIS International Conference on Telecommunications, Networks and Systems, 2007
Details Download
Isara Anantavrasilp, Thorsten Schöler
Automatic flow classification using machine learning
15th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), 1-6, 2007
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press
Details Download
Sebastian Bader, Steffen Hölldobler, Valentin Mayer-Eichberger
Extracting Propositional Rules from Feed-forward Neural Networks – A New Decompositional Approach
In A. S. d'Avila Garcez and P. Hitzler and G. Tamburrini, eds., Proceedings of the IJCAI-07 Workshop on Neural-Symbolic Learning and Reasoning (NeSy'07), volume 230, 2007
Details Download
Nuno C. Marques, Sebastian Bader, Vitor Rocio, Steffen Hölldobler
Neuro-Symbolic Word Tagging
In José Machado José Neves, Manuel Filipe Santos, eds., New Trends in Artificial Intelligence, 779-790, 2007. APPIA - Associação Portuguesa para a Inteligência Artificial Edition (ISBN-13 978-989-95618-0-9)
Details
S. Bader, S. Hölldobler
The Core Method: Connectionist Model Generation
Proceedings of the 16th International Conference on Artificial Neural Networks (ICANN), volume II of LNCS, 1-13, 2006. Springer
Details Download
Dzung Dinh-Khac, Steffen Hölldobler, Dinh-Khang Tran
The Fuzzy Linguistic Description Logic ALC_FL
Proceedings of the Eleventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), 2096-2103, July 2006
Details
Steffen Hölldobler, Olga Skvortsova
LIFT-UP: Lifted First-Order Planning Under Uncertainty
Proceedings of the 6th International Workshop on the Implementation of Logics, 80-99, 2006
Details
Ozan Kahramanoğulları
System BV is NP-complete
In R. de Queiroz and A. Macintyre and G. Bittencourt, eds., Proceedings of the 12th Workshop on Logic, Language, Information and Computation (WoLLIC 2005), July 2005, volume 143 of Electronic Notes in Theoretical Computer Science, 87-99, 2006. Elsevier
Details
E. Karabaev, G. Rammé, O. Skvortsova
Efficient Symbolic Reasoning for First-Order MDPs
Proceedings of the Workshop on "Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds" at the 17th European Conference on Artificial Intelligence (ECAI'2006), 2006
Details Download
Olga Skvortsova
Say "No" to Grounding: An Inference Algorithm for First-Order MDPs
Doctoral Consortium Notes at ICAPS'2006, June 2006
Details Download
Olga Skvortsova
A new context-based -subsumption algorithm
Sixteenth International Conference on Inductive Logic Programming (ILP'2006), 188-191, August 2006
Details Download
Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell and Z. Markov, eds., Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, 314-319, 2005. AAAI Press
Details Download
Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
J. Bohg, R. Kahle, A. M. Pinto
International Tele-Teaching – A Progress Report
Workshop on e-Learning, 2005
Details Download
Alessio Guglielmi
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 53-68, 2005. Technische Universität Dresden
Details Download
Pascal Hitzler, Sibylle Schwarz
Level mapping characterizations of selector generated models for logic programs
Proceedings of the 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005, 2005
Details
Pascal Hitzler, Sebastian Bader, Artur S. d'Avila Garcez
Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper
Proceedings of the IJCAI-05 workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005, 2005
Details Download
S. Hölldobler, N. H. Nga, T. D. Khang
The Fuzzy Description Logic ALC_FLH
Proceedings of the Description Logic Workshop, 2005
Details
S. Hölldobler, N. H. Nga, T. D. Khang
The Fuzzy Description Logic ALC_FLH
In A.P. del Pobil, eds., Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing, 99-104, 2005. ACTA Press
Details
Ozan Kahramanoğulları, Pierre-Etienne Moreau, Antoine Reilles
Implementing Deep Inference in TOM
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 158-172, 2005. Technische Universität Dresden
Details Download
Ozan Kahramanoğulları
Towards Planning as Concurrency
In M.H.Hamza, eds., Proceedings of the IASTED International Conference on Artificial Intellgence and Applications, AIA 2005, February 14-16, 387-394, 2005. Acta Press
Details
E. Karabaev, O. Skvortsova
A Heuristic Search Algorithm for Solving First-Order MDPs
In F. Bacchus and T. Jaakkola, eds., Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI'2005), 292-299, July 2005. AUAI Press
Details Download
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
T. Pietzsch, A. Großmann
A Method of Estimating Oriented Surface Elements from Stereo Images
Proceedings of the British Machine Vision Conference (BMVC), volume 1, 320-329,  2005
Details Download
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Rödder and Friedhelm Kulmann, eds., Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, LNAI, 200-218, 2005. Springer
Details
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
In L. Li and K. K. Yen, eds., Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, 22-33, 2004. International Information Institute
Details Download
Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —
In G. Palm S. Biundo, T. Frühwirth, eds., KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th AnnualGerman Conference on Artificial Intelligence, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 281-294, 2004. Springer
Details Download
Matthias Fichtner, Axel Großmann
A probabilistic visual sensor model for mobile robot localisation in structured environments
Proceedings of the 2004 International Conference on Intelligent Robots and Systems (IROS-2004), Sendai, Japan, 2004
Details
Pascal Hitzler, Guo-Qiang Zhang
A cartesian closed category of approximable concept structures
In Karl-Erich Wolff and Heather D. Pfeiffer and Harry S. Delugach, eds., Conceptual Structures at Work, Proceedings of the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004, volume 3127 of Lecture Notes in Artificial Intelligence, 170-185, 2004. Springer
Details Download
Pascal Hitzler
Default reasoning over domains and concept hierarchies
Proceedings of the 27th German Conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 351-365, 2004. Springer
Details
Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
In Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein, eds., Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on (Constraint) Logic Programming, Potsdam, Germany, March 2004, volume 327 of Technical Report, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik, 13-27, March 2004
Details
S. Hölldobler, H.-P. Störr, T.D. Khang, Nguyen Hoang Nga
The Subsumption Problem in the Fuzzy Description Logic ALC_FH
Proceedings Tenth International Conference IPMU 2004:Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, 243-250, 2004
Details
Steffen Hölldobler, Olga Skvortsova
A Logic-Based Approach to Dynamic Programming
Learning and Planning in Markov Processes–Advances and Challenges, Papers from the AAAI Workshop, 31-36, July 2004. AAAI Press, Menlo Park, California
Details Download
Ozan Kahramanoğulları
System BV without the Equalities for Unit
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04, Lecture Notes in Computer Science, 2004. Springer
Details Download
Ozan Kahramanoğulları
Implementing System BV of the Calculus of Structures in Maude
Proceedings of the ESSLLI-2004 Student Session, Universit Henri Poincare, Nancy, France, 2004
Details Download
Charles Stewart, Phiniki Stouppa
A systematic proof theory for several modal logics
In R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing, eds., Proceedings of the 5th International Conference on Advances in Modal Logic, AiML-2004, to appear
Details Download
Paola Bruscoli
A purely logical account of sequentiality in proof search – extended abstract
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, April 2003. TU Dresden, 01062 Dresden
Details
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
In Moshe Y. Vardi and Andrei Voronkov, eds., LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, 389-406, 2003. Springer
Details
Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming
In Catuscia Palamidessi, eds., Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, 109-127, 2003. Springer
Details
Kai Brünnler
Atomic Cut Elimination for Classical Logic
In M. Baaz and J.A. Makowsky, eds., CSL 2003, volume 2803 of Lecture Notes in Computer Science, 86-97, 2003. Springer
Details
Miguel A. Gutiérrez-Naranjo, Pascal Hitzler
ILP Operators for Propositional Connectionist Networks
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 103-108, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 68-80, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler
A Resolution Theorem for Algebraic Domains
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, 1339-1340, 2003. Morgan Kaufmann Publishers
Details
Pascal Hitzler, Matthias Wendt
Characterizing logic programming semantics with level mappings
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 60-67, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler, Anthony K. Seda
Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 105-119, 2003. Springer
Details
Pascal Hitzler, Matthias Wendt
Formal Concept Analysis and Resolution in Algebraic Domains
In Aldo de Moor and Bernhard Ganter, eds., Using Conceptual Structures — Contributions to ICCS 2003, 157-170, 2003. Shaker Verlag, Aachen
Details
Pascal Hitzler
Towards a Systematic Account of Different Logic Programming Semantics
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 355-369, 2003. Springer
Details
Ozan Kahramanogullari, Michael Thielscher
A formal assessment result for fluent calculus using the action description language A_k
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 209-223, 2003. Springer
Details Download
A.K. Seda, R. Heinze, P. Hitzler
Convergence Classes and Spaces of Partial Functions
In G.-Q. Zhang and J. Lawson and Y.M. Liu and M.K. Luo, eds., Domain Theory, Logic and Computation, volume 4 of Semantic Structures in Computation, 75-115, 2003. Kluwer Academic Publishers
Details Download
Lutz Straßburger
System NEL is Undecidable
In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., 10th Workshop on Logic, Language, Information and Computation (WoLLIC), volume 84 of Electronic Notes in Theoretical Computer Science, 2003
Details Download
Lutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 96, April 2003. TU Dresden, 01062 Dresden
Details
Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search
In Peter J. Stuckey, eds., Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, 302-316, 2002. Springer
Details Download
Bertram Fronhöfer, Akihiro Yamamoto
Minimised Residue Hypotheses in Relevant Logic
In Nicolò Cesa-Bianchi and Masayuki Numao and Rüdiger Reischuk, eds., Proceedings of the 13th International Conference on Algorithmic Learning Theory, volume 2533 of Lecture Notes in Artificial Intelligence, 278-292, 2002. Springer
Details
Axel Großmann, Steffen Hölldobler, Olga Skvortsova
Symbolic Dynamic Programming within the Fluent Calculus
In Naohiro Ishii, eds., Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, 378-383,  2002. ACTA Press
Details
Marina Guetova, Steffen Hölldobler, Hans-Peter Störr
Incremental Fuzzy Decision Trees
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), volume 2479 of Lecture Notes in Artificial Intelligence, 67-81, 2002. Springer
Details Download
Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 231-246, 2002. Springer
Details Download
Pascal Hitzler, Anthony Karel Seda
On the Coincidence of Semantics for Uniquely Determined Programs
In Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda, eds., Electronic Notes in Theoretical Computer Science, volume 40, 2002. Elsevier Science Publishers
Details
Pascal Hitzler, Matthias Wendt
The Well-Founded Semantics is a Stratified Fitting Semantics
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany, September 2002, volume 2479 of Lecture Notes in Artificial Intelligence, 205-221, 2002. Springer
Details
Steffen Hölldobler, Tran Dinh Khang, Hans-Peter Störr
A Fuzzy Description Logic with Hedges as Concept Modifiers
In Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob, eds., Proceedings InTech/VJFuzzy'2002, 25-34, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam
Details Download
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Roedder, eds., Conditionals, Information, and Inference, 231-243, May 2002. Fernuniversität, Gesamthochschule in Hagen
Details
Lutz Straßburger
A Local System for Linear Logic
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 388-402, 2002. Springer
Details Download
Hans-Peter Störr
A compact fuzzy extension of the Naive Bayesian classification algorithm
In Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob, eds., Proceedings InTech/VJFuzzy'2002, 172-177, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam
Details Download
Sven-Erik Bornscheuer, Yvonne McIntyre, Steffen Hölldobler, Hans-Peter Störr
User Adaptation in a Web Shop System
In M. H. Hamza, eds., Proceedings of the IASTED International Conference Internet and Multimedia Systems and Applications, 208-213, 2001. ACTA Press
Details Download
Kai Brünnler, Alwen Fernanto Tiu
A Local System for Classical Logic
In R. Nieuwenhuis and A. Voronkov, eds., LPAR 2001, volume 2250 of Lecture Notes in Artificial Intelligence, 347-361, 2001. Springer
Details Download
Bertram Fronhöfer, Manfred Schramm
A Probability Theoretic Analysis of Score Systems
In Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert, eds., KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, 95-108, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download
Alessio Guglielmi, Lutz Straßburger
Non-commutativity and MELL in the Calculus of Structures
In L. Fribourg, eds., Proceedings of the Annual Conference of the European Association for Computer Science Logic, CSL '01, Lecture Notes in Computer Science, 54-68, 2001. Springer
Details Download
Pascal Hitzler, Anthony K. Seda
VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^
Proceedings of the 5th Irish Workshop on Formal Methods, IWFM'01, Electronic Workshops in Computing (eWiC), 2001. British Computer Society
Details
Pascal Hitzler, Anthony Karel Seda
Semantic Operators and Fixed-Point Theory in Logic Programming
In N. Callaos and others, eds., Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001, volume VII, Computer Science and Engineering Part 1, 224-229, 2001. International Institute of Informatics and Systemics: IIIS
Details
Manfred Schramm, Bertram Fronhöfer
PIT: A System for Reasoning with Probabilities.
In Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert, eds., KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, 109-123, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download
Manfred Schramm, Bertram Fronhöfer
On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.
In Gabriele Kern-Isberner and Thomas Lukasiewicz and Emil Weydert, eds., KI-2001 Workshop: Uncertainty in Artificial Intelligence, volume 287-8/2001 of Informatik Berichte, 79-93, September 2001. Fernuniversität, Gesamthochschule in Hagen
Details Download
S. Hölldobler, H.-P. Störr
Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams
Proceedings of the First International Conference on Computational Logic, 747-761, 2000
Details
S. Hölldobler
Challenge Problems for the Integration of Logic and Connectionist Systems
In F. Bry and U. Geske and D. Seipel, eds., Proceedings 14. Workshop Logische Programmierung, GMD Report, 161-170, 2000
Details
S. Hölldobler, D. Kuske
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus
Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Artificial Intelligence, 436-450, 2000
Details
Steffen Hölldobler
Descriptions in the Fluent Calculus
Proceedings of the International Conference on Artificial Intelligence, volume III, 1311-1317, 2000
Details
Hans--Peter Störr, Michael Thielscher
A New Equational Foundation for the Fluent Calculus
In 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, eds., Proceedings of the First International Conference on Computational Logic (CL), LNCS, 733-745, 2000. Springer
Details
Sven-Erik Bornscheuer
Integrating Reactive and Reflective Reasoning by Generating Rational Models
Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 83-94, 1998. Springer
Details
Sven-Erik Bornscheuer, Helko Lehmann
On the Combination of Partial Action Descriptions
Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 95-106, 1998. Springer
Details
Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
In J. Slaney G. Antoniou, eds., Advanced Topics in Artificial Intelligence - 11th Australian Joint Conference on Artifiial Intelligence (AI'98), volume 1502 of LNAI, 167-178, 1998. Springer
Details
Steffen Hölldobler, Enno Sandner
KI-Forschungsführer 1998
KI 98: Advanced in Artificial Intelligence, volume 1504 of LNAI, 251-353, 1998. Springer
Details
Steffen Hölldobler, Hans-Peter Störr
Reasoning about Complex Actions
In V. Lifschitz, eds., Seventh International Workshop on Nonmonotonic Reasoning - Papers on Action and Causality. Extended abstract in: ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications, 1-9, August 1998
Details
Catriona Kennedy
Evolution of Self-Definition
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, invited session on “Artificial Immune Systems: Modelling and Simulation”, October 1998
Details
Catriona M. Kennedy
A Conceptual Foundation for Autonomous Learning in Unforeseen Situations
IEEE International Symposium on Intelligent Control (ISIC/CIRA/ISAS'98), September 1998
Details
Catriona Kennedy
Anomaly-Driven Concept Acquisition
Proceedings of the KI98 Workshop on Machine Learning und Concept Acquisition, September 1998
Details
Wolfgang Oertel, Uwe Petersohn
Case-Based Support System for Treatment of Pain Diseases
Proceedings of the Sixth German Workshop on Case-Based Reasoning: Foundations, Systems, Applications, 1998. Universität Rostock
Details
Michael Thielscher
Towards State Update Axioms: Reifying Successor State Axioms
In L.F. del Cerro and J. Dix and U. Furbach, eds., Proceedings of JELIA 98, volume 1489 of LNAI, 248-263, 1998. Springer
Details
Michael Thielscher
How (Not) To Minimize Events
In S.C. Shapiro A.G. Cohn, L.K. Schubert, eds., Proceedings of KR 98, 60-71, 1998
Details
Michael Thielscher
Towards a Logic for Causal Reasoning
In C. Ortitz, eds., Prospectes for a Commonsense Theory of Causation, volume SS-98-00, 101-106, 1998. Stanford University
Details
Sven-Erik Bornscheuer
Integrating Reactive and Reflexive Reasoning by Generating Rational Models
In A. Bonner and B. Freitag and L. Giordano and R. Kowalski, eds., LPS-97, Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS-97), 65-80, 1997
Details
Sven-Erik Bornscheuer, Helko Lehmann
Concurrent Production, Consumption and Occupation
In M.-A. Williams, eds., JCAI'97 Workshop on Nonmonotonic Reasoning, Action and Change, 52-64, 1997
Details
Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 313-324, 1997
Details
Steffen Hölldobler, Yvonne Kalinke
Recurrent Neural Networks to Approximate the Semantics of Acceptable Logic Programs
NIPS-97 Workshop on Learning dynamical data structures: From sequences to graphs, December 1997
Details
Yvonne Kalinke
Using Connectionist Term Representations for First-Order-Deduction- A Critical View
In J. Diederich F. Maire, R. Hayward, eds., CADE-14 Workshop on Connectionist Systems for Knowledge Representation and Deduction, 35-42, 1997
Details
Enno Sandner
From Linear Proofs to Direct Logic with Exponentials
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 135-146, 1997
Details
Olaf Steinmann, Antje Strohmaier, Thomas Stützle
Tabu Search Revisited
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 337-348, 1997
Details
Antje Strohmaier
Multi-Flip Networks: Parallelizing GenSAT
In G. Brewka and C. Habel and B. Nebel, eds., KI-97: Advances in AI, 349-360, 1997
Details
S. Bakhtari, B. Bartsch-Spörl, W. Oertel
DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts
In J. S. Gero and F. Sudweeks, eds., Artificial Intelligence in Design '96, 681-699, 1996. Kluwer Academic Publishers, Dordrecht
Details
Sven-Erik Bornscheuer
Rational Models of Normal Logic Programs
In U. Gesdke N.E. Fuchs, eds., Proceedings of the Poster Session at JICSLP`96, GMD Studies, volume 296, 123-134, 1996
Details
Sven-Erik Bornscheuer
Generating Rational Models
In M. Maher, eds., Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP), volume 547, 1996. MIT Press
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
An Abstract Machine for Reasoning about Situations, Actions, and Causality
In P. Schroeder-Heister R. Dyckhoff, H. Herre, eds., Proceedings of the International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence, 137-151, 1996. Springer
Details
Christoph Herrmann, Steffen Hölldobler, Antje Strohmaier
Fuzzy Conceptual Knowledge Processing
ACM Symposium on Applied Computing (SAC), 1996
Details
Steffen Hölldobler
Equational Logic and Theories of Action
In M. Navarro P. Lucio, M. Martelli, eds., Proceedings of the APPIA-GULP-PRODE Joint Conference on Declarative Programming, 111-123, 1996
Details
Wolfgang Oertel, Uwe Petersohn
Hybrid Knowledge Organization within an Object Framework
In F. Baader and H. Bürckert and A. Günter and W. Nutt, eds., Proceedings of the Workshop on Knowledge Representation and Configuration (WRKP'96), 33-41, 1996
Details
Wolfgang Oertel
Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY
In H. Burkhard and M. Lenz, eds., Fourth German Workshop on Case-Based Reasoning: System Development and Evaluation, Informatik-Berichte, 128-135, 1996. Berlin, Humboldt-Universität
Details
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, G. Strube
FABEL
In Projektträger Informationstechnik des BMFT bei der DLR, eds., Statusseminar des BMFT 1994, 1996. Deutsche Forschungsanstalt für Luft- und Raumfahrt
Details
S. Bakhtari, Wolfgang Oertel
Quality Assessment of Design Cases within the DOM Environment
In B. Bartsch-Spörl and D. Janetzko and S. Wess, eds., Proceedings of the 3rd German CBR Workshop, 106-113, 1995. University of Kaiserslautern
Details
S. Bakhtari, W. Oertel
DOM: An Active Assistance System for Architectural and Engineering Design
In Milton Tan and Robert Teh, eds., The Global Design Studio - proceedings of the 6th international conference on computer-aided architectural design futures (CAAD Futures '95), 153-162, 1995. Centre for Advanced Studies in Architecture, National University of Singapore
Details
S. Bakhtari, W. Oertel
DOM-ArC: An Active Decision Support System for Quality Assessment of Cases
In M. Veloso and A. Aamodt, eds., Case-Based Reasoning Research and Development, Proceedings of the First International Conference, ICCBR-95, 381-390, 1995. Springer
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
Working Notes of the IJCAI Workshop on Nonmonotonic Reasoning, Action, and Change, 39-53, 1995
Details
Kerstin Eder, Steffen Hölldobler, Michael Thielscher
A Resource–Oriented Deductive Approach towards Hierarchical Planning
In A. Krall, eds., Proceedings 11. Workshop Logische Programmierung, GMD–Studien, volume 270, 237-246, 1995
Details
Steffen Hölldobler, Michael Thielscher
Objects, Specificity, Logic, and Change
In L. Dreschler-Fischer and S. Pribbenow, eds., KI–95 Activities: Workshops, Posters, Demos, Gesellschaft für Informatik e.V., 37-42, 1995
Details
Antje Beringer, Gerd Aschemann, Holger Hoos, Michael Metzger, Andreas Weiß
GSAT versus Simulated Annealing
In A.G. Cohn, eds., Proceedings of the European Conference on Artificial Intelligence, 130-134, 1994. John Wiley & Sons
Details
Steffen Hölldobler, Yvonne Kalinke
Towards a Massively Parallel Computational Model for Logic Programming.
Proceedings of the ECAI94 Workshop on Combining Symbolic and Connectionist Processing, ECCAI, 68-77, 1994
Details
Steffen Hölldobler, Michael Thielscher
On the Adequateness of AI-Systems.
In L. Dreschler-Fischer and B. Nebel, eds., Proceedings of the 6th International Conference on Artificial Intelligence and Information, 41-46, 1994. World Scientific, Springer
Details
J. Walther, W. Gräther, Wolfgang Oertel, B. Schmidt-Belz, A. Voß
An open architecture for multiple case retrieval methods
In M. Keane and J. Haton and M. Manago, eds., EWCBR-94: Second European Workshop on Case-Based Reasoning, 373-380, 1994. AcknoSoft Press, Paris
Details
Stefan Brüning, Steffen Hölldobler, Josef Schneeberger, Ute Sigmund, Michael Thielscher
Disjunction in Resource-Oriented Deductive Planning
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 670, 1993
Details
Helge Dürschke, Wolfgang Oertel
Fallverwaltung in heterogenen Fallwissensbasen
In D. Janetzko and T. Schult, eds., Fälle in hybriden Systemen. Beiträge zum 2. Workshop des Arbeitskreises fallbasiertes Schließen, 95-107, 1993
Details
Steffen Hölldobler, Michael Thielscher
Actions and Specificity
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 164-180, 1993
Details

Books

A. Bernstein, W. Effelsberg, S. Hölldobler, H.-P. Lenhof, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, N. Schweickardt, M. Spiliopoulou, H. Störrle, S. Süsstrunk
Ausgezeichnete Informatikdissertationen 2012
Volume D-13. German Informatics Society, 2013
Details
A. Bernstein, S. Hölldobler, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2011
Volume D-12. German Informatics Society, 2012
Details
A. Bernstein, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2011
Volume D-11. German Informatics Society, 2011
Details
Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details
A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2009
Volume D-10. German Informatics Society, 2010
Details
A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2008
Volume D-9. German Informatics Society, 2009
Details
A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2007
Volume D-8. German Informatics Society, 2008
Details
S. Hölldobler, Carsten Lutz, H. Wansing
Logics in Artificial Intelligence
Volume 5293 of Lecture Notes in Artificial Intelligence. Springer, 2008
Details
A. Bernstein, T. Dreier, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, M. Spiliopoulou, D. Wagner
Ausgezeichnete Informatikdissertationen 2006
Volume D-7. German Informatics Society, 2007
Details
T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D. Wagner
Ausgezeichnete Informatikdissertationen 2004
Volume D-5 of Lecture Notes in Informatics. German Informatics Society, 2005
Details
Pascal Hitzler, G. Kalmbach, Z. Riečanová
Begabtenförderung im MINT-Bereich
Volume 9. Aegis-Verlag, Ulm, 2004
Details
H. Beilner, H. Fiedler, M. Gross, O. Günther, S. Hölldobler, G. Hotz, K.-P. Löhr, R. Reischuk, D. Wagner
Ausgezeichnete Informatikdissertationen 2002
Volume D-3 of Lecture Notes in Informatics. German Informatics Society, 2003
Details
Steffen Hölldobler
Logik und Logikprogrammierung. Third edition.
Synchron Verlag, Heidelberg, 2003
Details
H. Beilner, H. Fiedler, O. Günther, S. Hölldobler, G. Hotz, P. Liggesmeyer, K.-P. Löhr, R. Reischuk, D. Wagner
Ausgezeichnete Informatikdisserationen 2001
Volume D-2 of Lecture Notes in Informatics. German Informatics Society, 2002
Details
H. Fiedler, W. Grass, O. Günther, S. Hölldobler, G. Hotz, R. Reischuk, B. Seeger, D. Wagner
Ausgezeichnete Informatikdisserationen 2000
Volume D-1 of Lecture Notes in Informatics. German Informatics Society, 2001
Details
Steffen Hölldobler
Logik und Logikprogrammierung
Synchron Publishers GmbH, January 2001
Details
Steffen Hölldobler
Logik und Logikprogrammierung
Synchron Publishers GmbH, second, extended edition, December 2001
Details
H. Fiedler, O. Günther, W. Grass, S. Hölldobler, G. Hotz, R. Reischuk, B. Seeger, D. Wagner
Ausgezeichnete Informatikdissertationen 1999
Teubner, 2000
Details
S. Hölldobler
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
Volume 19 of Applied Logic Series. Kluwer Academic Publishers, 2000
Details
Steffen Hölldobler
Intellectics and Computational Logic
Kluwer Academic Publishers, 1998
Details
Heiko Vogler, Zoltan Fülöp
Syntax-Directed Semantics
Springer Verlag, 1998
Details

Book Chapters

Jana Kittelmann, Christoph Wernhard
Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs
In Irene Krebs and others, eds., Resonanzen. Pücklerforschung im Spannungsfeld zwischen Wissenschaft und Kunst. Ein Konferenzbericht., 179-202. trafo Verlag, 2013
Details
S. Bader, S. Hölldobler, N.C. Marques
Guiding Backprob by Inserting Rules
In Artur D'Avila Garcez and Pascal Hitzler, eds., Proceedings of the 4th International Workshop on Neuro-Symbolic Learning and Reasoning, NESY, volume 366 of CEUR Workshop Proceedings,  2008
Details
Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration — a structured survey
In S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods, eds., We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, 167-194. King's College Publications,  2005
Details Download
Kai Brünnler, Alessio Guglielmi
A First Order System with Finite Choice of Premises
In Hendricks et al., eds., First-Order Logic Revisited. Logos Verlag, to appear
Details
S. Bader F. Maire, F. Wathne
Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes
In Lipo Rajapakse, Jagath C.; Wang, eds., , volume 152 of Studies in Fuzziness and Soft Computing, chapter 1. Springer, 2004
Details
Akihiro Yamamoto, Bertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic
In Setsuo Arikawa and Ayumi Shinohara, eds., Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, 246-257. Springer, 2002
Details
Pascal Hitzler, Finbarr Holland, Gudrun Kalmbach
BCU Mathematics Contest 2001 — Problems and Solutions
In Anatolij Dvurecenskij and Gudrun Kalmbach, eds., Begabtenförderung im MINT-Bereich, volume 6, chapter 1, 3-16. Aegis-Verlag, 2001
Details
Pascal Hitzler
Kontraktionssätze auf verallgemeinerten metrischen Räumen
In Anatolij Dvurecenskij and Gudrun Kalmbach, eds., Begabtenförderung im MINT-Bereich, volume 6, chapter 5, 79-88. Aegis-Verlag, 2001
Details
S. Hölldobler, H.-P. Störr
Complex Plans in the Fluent Calculus
In S. Hölldobler, eds., Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel. Kluwer Academic Publishers, 2000
Details
S. Hölldobler, Y. Kalinke, J. Wunderlich
A Recursive Neural Network for Reflexive Reasoning
In S. Wermter and R. Sun, eds., Hybrid Neural Symbolic Integration, LNAI, 46-62. Springer, 2000
Details
Steffen Hölldobler, Hans--Peter Störr
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000), April 2000
Details
Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich
Hybrid Neural Systems
In Wermter and Sun, eds., , chapter A Recursive Neural Network for Reflexive Reasoning. Springer, 1999
Details
Sven-Erik Bornscheuer, Steffen Hölldobler, Yvonne Kalinke, Antje Strohmaier
Automated Deduction - A Basis for Applications
In P. H. Schmitt W. Bibel, eds., , volume II, chapter Massively Parallel Reasoning, 291-321. Kluwer Academic Publishers, 1998
Details
Steffen Hölldobler, Hans-Peter Störr
Intellectics and Computational Logic
In Steffen Hölldobler in Honor of Wolfgang Bibel, eds., , chapter Complex Plans in the Fluent Calculus. Kluwer Academic Publishers, 1998
Details
Steffen Hölldobler
Neue Entwicklungen in der Informatikausbildung
In I. Schmitt S. Conrad, G. Saake, eds., , chapter Computational Logic - Ein internationaler Master-Studiengang. ???, 1998
Details
Sven-Erik Bornscheuer, Torsten Seiler
KI-96: Lecture Notes in Artificial Intelligence
In Steffen Hölldobler Günther Görz, eds., , volume 1137, chapter Massively Parallel Reasoning about Actions, 5-18. Springer, 1996
Details
Sven-Erik Bornscheuer
Rational Models of Normal Logic Programs
In Steffen Hölldobler Günther Görz, eds., , volume 1137 of Lecture Notes in Artificial Intelligence, chapter KI-96: Advances in Artificial Intelligence, 1-4. Springer, 1996
Details
Günther Götz, Steffen Hölldobler
Advances in Artificial Intelligence
In , volume 1137 of Lecture Notes in Artificial Intelligence, chapter KI-96. Springer, 1996
Details
Wolfgang Oertel
KI-96: Abvances in Artificial Intelligence
In G. Görz and S. Hölldobler, eds., , chapter Knowledge Organization Using the Development System FAENSY, 303-306. Springer, 1996
Details
W. Oertel, S. Bakhtari
Computing in Civil Engineering
In J. Vanegas and P. Chinowsky, eds., , American Society of Civil Engineers, chapter Interaction of Generic Knowledge and Cases in DOM, 301-307. ???, {V}anegas, {J}. and {C}hinowsky, {P}. edition, 1996
Details
Uwe Petersohn
Taschenbuch der Informatik
In , chapter 12 K{\"u}nstliche Intelligenz, 648-699. Fachbuchverlag Leipzig, 1995
Details
Th. Petzoldt, Uwe Petersohn, Pjotr Kielb, Niels Schütze
Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß
In M. Hilty and A. Jaeschke, eds., Informatik für den Umweltschutz, 259-267. Metropolis-Verlag, Marburg, 1994
Details
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, G. Strube
FABEL
In Statusseminar des BMFT 1994, Projektträger Informationstechnik des BMFT bei der DLR, 83-101. Deutsche Forschungsanstalt für Luft- und Raumfahrt, Berlin, 1994
Details

Edited Proceedings

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details
S. Hölldobler, Y. Liang
Proceedings of the First International Workshop on Semantic Technologies
Volume 1339 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details
Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details
Steffen Hölldobler, Andrey Malikov, Christoph Wernhard
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, YSIP
Volume 1145 of CEUR Workshop Proceedings, 2014. CEUR-WS.org
Details
P. Bruscoli, F. Lamarche, C. Stewart
Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
, 2005. Technische Universität Dresden
Details Download

Doctoral Theses

Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details
Norbert Manthey
Towards Next Generation Sequential and Parallel SAT Solvers
Phd thesis, TU Dresden, 2014/12/01
Details
Sebastian Bader
Neural-Symbolic Integration
Phd thesis, Technische Universität Dresden, 2009
Details
Ozan Kahramanogullari
Nondeterminism and Language Design in Deep Inference
Phd thesis, Technische Universität Dresden, 2006
Details
Hans-Peter Störr
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Phd thesis, Dresden University of Technology, 2005
Details
Kai Brünnler
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003
Details
Lutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures
Phd thesis, Dresden University of Technology, 2003
Details
Yvonne McIntyre
Modellgenerierung mit konnektionistischen Systemen
Phd thesis, Dresden University of Technology, 2000
Details
Antje Strohmaier
Logisches Schliesen mit massiv parallelen Methoden
Phd thesis, Dresden University of Technology, 1997
Details

Technical Reports

Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details
Richard Mörbitz
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
Technical Report, Knowledge Representation and Reasoning, volume 17-02, June 2017. Technical report
Details Download
Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
Details
Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download
Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
Details Download
Norbert Manthey
An A-Maze-ing SAT Solving Visualization
Technical Report, TU Dresden, April 2015
Details Download
Peter Steinke
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2015-01, 2015. Technical Report
Details Download
Christoph Wernhard
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Extended Version)
Technical Report, TU Dresden, volume 15-04, 2015. Knowledge Representation and Reasoning
Details
Christoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Technical Report, TU Dresden, volume 15-05, 2015. Knowledge Representation and Reasoning
Details
Peter Steinke, Norbert Manthey
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2014-01, 2014. Technical Report
Details Download
Christoph Wernhard
Expressing View-Based Query Processing and Related Approaches with Second-Order Operators
Technical Report, Technische Universität Dresden, volume Knowledge Representation and Reasoning 14--02, 2014
Details Download
Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
Technical Report, Technische Universität Dresden, volume Knowledge Representation and Reasoning 14-03, 2014
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Technical Report, Technische Universität Dresden, volume 2, 2013
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Technical Report, Technische Universität Dresden, volume 3, 2013
Details Download
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
Details
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the at-most-one Constraint
Technical Report, TU Dresden, volume Technical Report 2013-04, 2013. Technical Report
Details Download
Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
Technical Report, Knowledge Representation and Reasoning Group, volume 1, 2013
Details Download
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
Technical Report, TU Dresden, volume KRR 13-05, 2013
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Ahmed Irfan
Search Space Splitting with Lookahead
Technical Report, TU Dresden, volume Technical Report 2012-04, 2012. Technical Report
Details Download
Norbert Manthey
Solver Description of RISS 2.0 and PRISS 2.0
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Norbert Manthey
Hidden Units, Equivalences and Implications (Poster Presentation)
Technical Report, Knowledge Representation and Reasoning, volume 12-05, October 2012
Details Download
Peter Grossmann
Polynomial Reduction from PESP to SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey
A More Efficient Parallel Unit Propagation
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey
Solver submission of riss 1.0 to the SAT Competition 2011
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Christoph Wernhard
Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
S. Hölldobler, T. Philipp, C. Wernhard
Abduction in Human Reasoning
Technical Report, TU Dresden, International Center for Computational Logic, 2010
Details Download
N. Manthey
riss 2010 Solver Description
Technical Report, TU Dresden, volume Technical Report 2010-02, 2010. Technical Report
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logics and Networks for Human Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-01, 2009
Details Download
Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli
Logic Programs under Three-Valued Lukasiewicz Semantics
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-09-02, 2009
Details Download
Steffen Hölldobler
Some Remarks on Human Reasoning, Logic Programs and Connectionist Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-08-01, 2008
Details Download
Dzung Dinh-Khac, Steffen Hölldobler
The Fuzzy Linguistic Description Logic ALC_FL
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-02, 2006
Details Download
Ozan Kahramanoğulları
Reducing Nondeterminism in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-01, 2006
Details
Andreas Witzel
Neural-Symbolic Integration – Constructive Approaches
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, TU Dresden, volume WV-06-03, 2006
Details Download
Steffen Hölldobler, Ozan Kahramanogullari
From the Calculus of Structures to Term Rewriting Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--03, 2004
Details Download
Ozan Kahramanoğulları
Plans as Formulae with a Non-commutative Logical Operator - Planning as Concurrency
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--06, 2004
Details Download
E. Karabaev, O. Skvortsova
FCPlanner: A Planning Strategy for First-Order MDPs
Technical Report, June 2004
Details
Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--02, 2004
Details
Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download
Kai Brünnler, Alessio Guglielmi
A Finitary System for First Order Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-09, 2003
Details Download
Kai Brünnler
Locality for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-04, 2003
Details Download
Matthias Fichtner, Axel Großmann
A Visual-Sensor Model for Mobile Robot Localisation
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-03, 2003
Details Download
Matthias Fichtner, Axel Großmann, Michael Thielscher
Intelligent execution monitoring in dynamic environments
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-06, 2003
Details
Bertram Fronhöfer, Steffen Hölldobler
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002
Technical Report, TU Dresden, 01062 Dresden, volume TUD--FI03--03, April 2003
Details
Axel Großmann, Matthias Wendt, Jeremy Wyatt
A semi-supervised method for learning the structure of robot-environment interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-07, 2003
Details
Axel Großmann, Andreas Henschel, Michael Thielscher
A robot control system integrating reactive control, reasoning, and execution monitoring
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, volume WV-03-02, 2003
Details Download
Pascal Hitzler
A generalized resolution theorem
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--13, 2003
Details
Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--15, 2003
Details
Pascal Hitzler
Default reasoning over domains and concept hierarchies
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--14, 2003
Details
Steffen Hölldobler, Olga Skvortsova
A Normalization Algorithm for Automated First-Order Value Iteration
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--16, 2003
Details
Charles Stewart, Phiniki Stouppa
A Systematic Proof Theory for Several Modal Logics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-08, 2003
Details Download
Lutz Straßburger
The Undecidability of System NEL
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-05, 2003
Details Download
Kai Brünnler
Atomic Cut Elimination for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-11, 2002
Details Download
Kai Brünnler, Alessio Guglielmi
Consistency Without Cut Elimination
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-16 (updated April 2003), 2002
Details Download
Kai Brünnler
Two Restrictions on Contraction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-04, 2002
Details Download
Alessio Guglielmi
A System of Interaction and Structure
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-10, 2002
Details Download
Roland Heinze, Pascal Hitzler, Anthony Karel Seda
Convergence Classes and Spaces of Partial Functions
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-02, 2002
Details
Pascal Hitzler
Contexts, Concepts, and Logic of Domains
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-12, 2002
Details
Pascal Hitzler, Matthias Wendt
A uniform approach to logic programming semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-14, 2002
Details
Pascal Hitzler
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-05, 2002
Details Download
Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV--02--09, 2002
Details
Pascal Hitzler
Circular Belief in Logic Programming Semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-13, 2002
Details
P. Buchholz, M. Droste, B. Ganter, S. Hölldobler, K. Meyer-Wegener, R. Pöschel, H. Reichel, M. Thielscher, H. Vogler
Different Approaches to the Semantics of Workflow
Technical Report, Technische Universität Dresden, Fakultät Informatik, volume TUD-FI01-04, 2001
Details
Alessio Guglielmi
A Calculus of Order and Interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-01, 2001
Details
Pascal Hitzler, Anthony Karel Seda
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-07, 2001
Details
Lutz Straßburger
MELL in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-03, 2001
Details Download
Alwen Fernanto Tiu
Properties of a Logical System in the Calculus of Structures
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-06, 2001
Details
Alwen Fernanto Tiu
Combining A1- and AC1-Unification Sharing Unit
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-09, 2001
Details
Alwen Fernanto Tiu
A1-Unification
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-08, 2001
Details
Ashish Darbari
Rule Extraction from Trained ANN: A Survey
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-2000-03, 2000
Details
Alessio Guglielmi
A Calculus of Order and Interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-04, 1999
Details
Steffen Hölldobler
Challenge Problems for the Integration of Logic and Connectionist Systems (Extended Abstract)
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-03, 1999
Details
Steffen Hölldobler, Hans-Peter Störr
Solving the Entailment Problem in the Fluent Calculus using Binary Decision Diagrams
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-05, 1999
Details
Steffen Hölldobler
The Undecidability of the Entailment Problem in the Fluent and the Situation Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1999-02, 1999
Details
Steffen Hölldobler, Yvonne Kalinke, Jörg Wunderlich:
An Adequate Connectionist System for Reflexive Reasoning
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-98-12, 1998
Details
Steffen Hölldobler
Situations, Actions, and Causality in the Fluent Calculus
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1997-01, 1997
Details
Heiko Mantel, Enno Sandner
A framework for connection calculi
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-1997-09, 1997
Details
Wolfgang Oertel, Uwe Petersohn
Anschlus̈bericht über das Verbundvorhaben FABEL
Technical Report, Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie (BMBF), volume WV-1997-10, 1997
Details
Steffen Hölldobler, Josef Schneeberger
Constraint Equational Logic Programming and Resource-Based Partial Order Planning
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-08, 1996
Details
Steffen Hölldobler, Michael Thielscher
Properties vs. Resources: Solving Simple Frame Problems
Technical Report, Intellektik, Informatik, TH Darmstadt, volume AIDA-96-03, 1996. Technischer Report
Details
Yvonne Kalinke, Hans-Peter Störr
Approximation der Funktion Tp normaler logischer Programme P durch 3-schichtige vorwärtsgerichtete Netze
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-07, 1996
Details
Katalin Prasser
Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-96-09, 1996
Details
Antje Strohmaier
Multi-Flip Networks: A Parallelization of Local SAT-Algorithms
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1996. E{CAI}-96 {W}orkshop on {A}cvances in {P}ropositional {D}eduction
Details
S. Bakhtari, B. Bartsch-Spörl, W. Oertel, U. Eltz
DOM: Domain Ontology Modelling for Architectural Engineering Design
Technical Report, GMD, volume 33, 1995. FABEL Report
Details
B. Bartsch-Spörl, S. Bakhtari, W. Oertel
Assessment Supported by a Domain Ontology (DOM)
Technical Report, GMD, volume 35, 1995. FABEL Report
Details
Schmidt-Belz, B., W. Gräther, Gros̈ E., J. Walther, W. Oertel, L. Hovestadt
FABEL-IDEA 2, Intelligente Designunterstützung für Architekten, Version 2: Fallretrieval
Technical Report, GMD, volume 30, 1995. FABEL Report
Details
Th. Petzoldt, Uwe Petersohn, Pjotr Kielb, Niels Schütze
Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1993
Details

Talks and Miscellaneous

Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017
Details
Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download
Christoph Wernhard
Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods
Poster presentation at Jahrestreffen der GI Fachgruppe Deduktionssysteme, associated with CADE 25, August 2015
Details
Steffen Hölldobler
SAT Solving - Scheduling, Generic CDCL, Partitioning
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Advanced Petri Nets and the Fluent Calculus (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Steffen Hölldobler
TU Dresden and Computer Science
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Semantic Technologies (Swap and Transfer Workshops)
University of Minho, Braga, Portugal, September 2014
Details
Steffen Hölldobler
From Human Reasoning Episodes to Connectionist Models (Dagstuhl Seminar)
Schloss Dagstuhl - Leibniz Center for Informatics, Dagstuhl, Deutschland, September 2014
Details
Steffen Hölldobler
Computational Logic and Human Reasoning Episodes
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
SAT-Solving: State-of-the-Art and Challenges (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Steffen Hölldobler
Connectionist Model Generation
Jilin University, Changchun, China, November 2014
Details
Steffen Hölldobler
Answer Set Programming and Clasp (INFOCOM-6)
North-Caucasus Federal University, Stawropol, Russland, April 2014
Details
Jana Kittelmann, Christoph Wernhard
Semantik, Linked Data, Web-Präsentation: Grundlagen der Nachlasserschließung im Portal www.pueckler-digital.de
Humboldt Universität zu Berlin, Workshop Datenmodellierung in digitalen Briefeditionen und ihre interpretatorische Leistung, May 2014
Details
Norbert Manthey
Extended Resolution in Modern SAT Solving
Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen, July 2014
Details
Norbert Manthey
Formula Simplifications as DRAT Derivations
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
Details
Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
Details
Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
Stavropol, Russian Federation - Young Scientists' International Workshop on Trends in Information Processing, April 2014
Details
Tobias Philipp
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014
Details
Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Vienna Austria - Pragmatics of SAT 2014, July 2014
Details
Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
Vienna, Austria, Joint Automated Reasoning Workshop and Deduktionstreffen (ARW-DT 2014), July 2014
Details
Christoph Wernhard
Application Patterns of Projection/Forgetting
Vienna, Austria, Workshop on Interpolation: From Proofs to Applications (iPRA 2014), July 2014
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
National ICT Australia, Sydney, Australia, September 2013
Details
Steffen Hölldobler
Computational Logic and Human Reasoning
King Mogul's Institute for Technology, Bangkok, Thailand, September 2013
Details
Steffen Hölldobler
EU-Drittlandprogramme 2007-2013
Dresden, Germany, October 2013
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
SPP1516 Workshop on Belief-Revision and Non-Monotonic Reasoning, Gießen, Germany, November 2013
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
North Caucasus State Technical University, Stavropol, May 2012
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
EPCL-Interview Week, Dresden, Germany, July 2012
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
Higher School of Economics, Moscow, October 2012
Details
Steffen Hölldobler
A Simple Model for the Wason Selection Task
EPCL-Workshop, Dresden, Germany, July 2012
Details
Steffen Hölldobler
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012
Details
Steffen Hölldobler
A Computational Logic Approach to Human Reasoning
Simon Fraser University, Vancouver, Canada, March 2012
Details
Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012
Details
Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012
Details
Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
Details
Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details
Norbert Manthey
The SAT Solver Framework priss
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details
Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany, September 2012
Details
Steffen Hölldobler
Logics and Networks for the Suppression Task
International Computer Science Institute, Berkeley, CA, USA, March 2011
Details
Steffen Hölldobler
An Abductive Model for Human Reasoning
Commonsense 2011, Stanford, CA, USA, March 2011
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
DAAD, Bonn, Germany, March 2011
Details
Steffen Hölldobler
Study Programs on Computational Logic at TUD
TUD, Dresden, Germany, October 2011
Details
Wolfgang Oertel
FAENSY: Fabel Development System
FABEL Report Nr. 27, GMD, Sankt Augustin, 1994
Details
A. Voss, B. Bartsch-Spoerl, L. Hovestadt, K.P. Jantke, U. Petersohn, G. Strube
FABEL: Projektstatus, Perspektiven, Potentiale
FABEL Report Nr. 16, GMD, Sankt Augustin, 1994
Details
C.-H. Coulon, Helge Dürschke, W. Gräther, B. Linowski, Wolfgang Oertel
Fallverwaltung und Fallretrieval: Implementierungen und Tests
FABEL Report Nr. 7, GMD, Sankt Augustin, 1993
Details
Helge Dürschke, Wolfgang Oertel, C. Coulon, W. Gräther, B. Linowskk, B. Schmidt-Belz, L. Hovestadt
Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems
FABEL Report Nr. 10, GMD, Sankt Augustin, 1993
Details
Das FABEL-Konsortium
Survey of FABEL
FABEL-Report Nr. 2, GMD, Sankt-Augustin, 1993
Details
Das FABEL-Konsortium
FABEL im Überblick
FABEL-Report Nr. 1, GMD, Sankt-Augustin, 1993
Details
F. Gebhardt, Brigitte Bartsch-Spörl, Wolfgang Oertel, J. Walther
Anforderungen an die FABEL-Sprache
FABEL Report Nr. 11, GMD, Sankt Augustin, 1993
Details
Wolfgang Oertel, Helge Dürschke
Architekturkonzept für FABEL
FABEL Report Nr. 5, GMD, Sankt Augustin, 1993
Details