The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Przemyslaw Andrzej Walega" ( http://dblp.L3S.de/Authors/Przemyslaw_Andrzej_Walega )

  Author page on DBLP  Author page in RDF  Community of Przemyslaw Andrzej Walega in ASPL-2

Publication years (Num. hits)
2013-2017 (17) 2018-2019 (12)
Publication types (Num. hits)
article(9) inproceedings(20)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 30 publication records. Showing 29 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2019 DBLP  BibTeX  RDF
1Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau Reasoning over Streaming Data in Metric Temporal Datalog. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Michal Zawidzki A Modal Logic for Subject-Oriented Spatial Reasoning. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev DatalogMTL: Computational Complexity and Expressive Power. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega Answer Set Programming Modulo 'Space-Time'. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega Computational Complexity of a Core Fragment of Halpern-Shoham Logic. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carl P. L. Schultz, Mehul Bhatt, Jakob Suchan, Przemyslaw Andrzej Walega Answer Set Programming Modulo 'Space-Time'. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl P. L. Schultz Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning about Moving Objects. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt Non-monotonic spatial reasoning with answer set programming modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. Search on Bibsonomy ICLA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Hybridizing Interval Temporal Logics: The First Step. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega Human-Like Spatial Reasoning Formalisms. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mehul Bhatt, Carl P. L. Schultz, Jakob Suchan, Przemyslaw Andrzej Walega Declarative Spatial Reasoning for Intelligent Cinematography. Search on Bibsonomy WICED The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Searching for Well-Behaved Fragments of Halpern-Shoham Logic. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Michal Zawidzki, Tomasz Lechowski Qualitative Physics in Angry Birds. Search on Bibsonomy IEEE Trans. Comput. Intellig. and AI in Games The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega Reasoning about Space and Change with Answer Set Programming Modulo Theories. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Przemyslaw Andrzej Walega Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Mehul Bhatt, Carl P. L. Schultz ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Emilio Muñoz-Velasco A Movement Control System Based on Qualitative Reasoning. Search on Bibsonomy SOCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Overfitting Problem in a Virtual Sensor Obtained with W-M Method. Search on Bibsonomy KES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega Reasoning for Moving Blocks Problem: Formal Representation and Implementation. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #29 of 29 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license