Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOQE@KR"( http://dblp.L3S.de/Venues/SOQE@KR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/kr

Publication years (Num. hits)
2021 (15)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
SOQE@KR(15)
Authors
Viorica Sofronie-Stokkermans(3) Christoph Wernhard(2) Dennis Peuter(2) Patrick Koopmann(2) Renate A. Schmidt(2) Yizheng Zhao(2) David Toman 0001(1) Fajar Haifani(1) Frank Wolter(1) Grant E. Wedell(1) Hannes Frey(1) Johannes Kloibhofer(1) Leopoldo E. Bertossi(1) Luca Tranchini(1) Lucas Böltz(1) Paolo Pistone(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Paolo Pistone, Luca Tranchini The Yoneda Reduction of Polymorphic Types (Abstract). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Frank Wolter Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Philipp Marohn, Viorica Sofronie-Stokkermans SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1David Toman 0001, Grant E. Wedell Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Fajar Haifani, Patrick Koopmann, Sophie Tourret Abduction in EL via Translation to FOL. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao (eds.) Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Patrick Koopmann Signature-Based ABox Abduction in ALC is Hard. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Stefan Hetzl, Johannes Kloibhofer An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Leopoldo E. Bertossi Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Christoph Wernhard Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Zhiguang Zhao Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Ruba Alassaf, Renate A. Schmidt, Uli Sattler Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
1Dennis Peuter, Viorica Sofronie-Stokkermans Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). Search on Bibsonomy SOQE@KR The full citation details ... 2021 DBLP  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license