|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Module Extraction via Query Inseparability in OWL 2 QL.  |
Description Logics  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev |
Conjunctive Query Inseparability of OWL 2 QL TBoxes. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Renate A. Schmidt, Stephan Schulz |
Special issue on practical aspects of automated reasoning. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter |
Decomposing Description Logic Ontologies. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Formal Properties of Modularisation. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Boris Konev, Alexei Lisitsa |
Temporal Verification of Fault-Tolerant Protocols. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Taming the Complexity of Temporal Epistemic Reasoning. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther, Frank Wolter |
The Logical Difference Problem for Description Logic Terminologies. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Renate A. Schmidt, Stephan Schulz (eds.) |
Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, Sydney, Australia, August 10-11, 2008 |
PAAR/ESHOL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
Practical First-Order Temporal Reasoning. |
TIME |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Semantic Modularity and Module Extraction in Description Logics. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Rudnicki, Geoff Sutcliffe, Boris Konev, Renate A. Schmidt, Stephan Schulz (eds.) |
Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008 |
LPAR Workshops |
2008 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Logical Difference and Module Extraction with CEX and MEX. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa |
Efficient First-Order Temporal Logic for Infinite-State Systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Tractable Temporal Reasoning. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Frank Wolter (eds.) |
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings |
FroCoS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Temporal Logic with Capacity Constraints. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
On Dynamic Topological and Metric Logics. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space |
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic temporal resolution. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
Temporal logic, resolution, automated theorem proving |
| 1 | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
Dynamic topological logics over spaces with continuous functions. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Clare Dixon, Michael Fisher, Boris Konev |
Is There a Future for Deductive Temporal Verification? |
TIME |
2006 |
DBLP DOI BibTeX RDF |
fragments of PTL, deductive verification, clausal temporal resolution, complexity |
| 1 | Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa (eds.) |
Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings |
JELIA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alexander V. Lyaletski, Boris Konev |
On Herbrand's Theorem for Intuitionistic Logic. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
Mechanising first-order temporal resolution. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev |
First-Order Temporal Verification in Practice. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
temporal logics of knowledge, theorem proving, resolution, first-order temporal logic |
| 1 | Boris Konev, Frank Wolter, Michael Zakharyaschev |
Temporal Logics over Transitive States. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Konev, Renate A. Schmidt |
Deciding Monodic Fragments by Temporal Resolution. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher, Boris Konev, Alexei Lisitsa |
Practical Infinite-State Verification with Temporal Reasoning. |
VISSAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov |
TeMP: A Temporal Monodic Prover. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic temporal resolution |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ullrich Hustadt, Boris Konev |
TRP++2.0: A Temporal Resolution Prover. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
Monodic Temporal Resolution. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Anatoli Degtyarev, Michael Fisher |
Handling Equality in Monodic Temporal Resolution. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Michael Fisher, Boris Konev |
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev |
MAX SAT approximation beyond the limits of polynomial-time approximation. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")