Name Card

Full name Familienname, Vorname
Konev, Boris
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rawson-2022-Reuse of Introduced Symbols in Automatic Theorem Provers-vor.pdf.jpgRawson, Michael ; Suda, Martin ; Hozzova, Petra ; Reger, Giles Reuse of Introduced Symbols in Automatic Theorem ProversInproceedings Konferenzbeitrag 31-Aug-2022
2Hajdu-2022-The Vampire Approach to Induction short paper-vor.pdf.jpgHajdu, Marton ; Kovacs, Laura ; Rawson, Michael ; Voronkov, Andrei The Vampire Approach to Induction (short paper)Inproceedings Konferenzbeitrag 31-Aug-2022
3Ngo, Nhung ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas The Combined Complexity of Reasoning with Closed Predicates in Description LogicsKonferenzbeitrag Inproceedings 2015
4Ahmetaj, Shqiponja ; Fischl, Wolfgang ; Pichler, Reinhard ; Simkus, Mantas ; Skritek, Sebastian DL-Lite and Conjunctive Queries Extended by Optional MatchingKonferenzbeitrag Inproceedings 2015
5Erdem, Esra ; Gabaldon, Alfredo Representing action domains with numeric-valued fluentsKonferenzbeitrag Inproceedings 2006
6Eiter, Thomas ; Fink, Michael ; Senko, Jan A Tool for Answering Queries on Action DescriptionsKonferenzbeitrag Inproceedings 2006
7Eiter, Thomas ; Erdem, Esra ; Fink, Michael ; Senko, Jan Comparing Action Descriptions Based on Semantic PreferencesKonferenzbeitrag Inproceedings 2006
8Eiter, Thomas ; Traxler, Patrick ; Woltran, Stefan An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set ProgramsKonferenzbeitrag Inproceedings 2006