Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings von Konev, Boris, Reger, Giles

Volltext

Computer-aided proof of Erdős discrepancy properties von Konev, Boris, Lisitsa, Alexei

Volltext

Frontiers of Combining Systems Lecture Notes in Artificial Intelligence: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings von Konev, Boris, Reger, Giles

Volltext

Model-theoretic inseparability and modularity of description logic ontologies von Konev, Boris, Lutz, Carsten, Walther, Dirk, Wolter, Frank

Volltext

Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings

Volltext

Computer-aided proof of Erds discrepancy properties von Konev, Boris, Lisitsa, Alexei

Volltext

Monodic temporal resolution von Degtyarev, Anatoli, Fisher, Michael, Konev, Boris

Volltext

A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic von Bromberger, Martin, Dragoste, Irina, Faqeh, Rasha, Fetzer, Christof, Krötzsch, Markus, Weidenbach, Christoph

Volltext

Quantifier Simplification by Unification in SMT von Fontaine, Pascal, Schurr, Hans-Jörg

Volltext

Non-disjoint Combined Unification and Closure by Equational Paramodulation von Erbatur, Serdar, Marshall, Andrew M., Ringeissen, Christophe

Volltext

The Logical Difference for the Lightweight Description Logic EL von Konev, B., Ludwig, M., Walther, D., Wolter, F.

Volltext

Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 : Proceedings von Carbonell, Jaime G, Siekmann, Jörg, Konev, Boris

Volltext

On the Issue of Reinstatement in Argumentation von Caminada, Martin

Volltext

Formal Properties of Modularisation von Konev, Boris, Lutz, Carsten, Walther, Dirk, Wolter, Frank

Volltext

Fast and Slow Enigmas and Parental Guidance von Goertzel, Zarathustra A., Chvalovský, Karel, Jakubův, Jan, Olšák, Miroslav, Urban, Josef

Volltext

Vampire with a Brain Is a Good ITP Hammer von Suda, Martin

Volltext

Combining Event Calculus and Description Logic Reasoning via Logic Programming von Baumgartner, Peter

Volltext

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems von Lin, Hai, Lynch, Christopher, Marshall, Andrew M., Meadows, Catherine A., Narendran, Paliath, Ravishankar, Veena, Rozek, Brandon

Volltext

Symbol Elimination and Applications to Parametric Entailment Problems von Peuter, Dennis, Sofronie-Stokkermans, Viorica

Volltext

Formal Analysis of Symbolic Authenticity von Lin, Hai, Lynch, Christopher

Volltext