Institut für Logic and Computation

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192 - Institut für Logic and Computation
 
Code Kennzahl
E192
 
Type of Organization Organisationstyp
Institute
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 61-80 of 4990 (Search time: 0.006 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
61Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressivenessArticle Artikel Nov-2023
62Schmidt-2023-IoTFlow Inferring IoT Device Behavior at Scale through Stati...-vor.pdf.jpgSchmidt, David ; Tagliaro, Carlotta ; Borgolte, Kevin ; Lindorfer, Martina IoTFlow: Inferring IoT Device Behavior at Scale through Static Mobile Companion App AnalysisInproceedings Konferenzbeitrag Nov-2023
63Angles-2023-Proceedings of the VLDB Endowment-vor.pdf.jpgAngles, Renzo ; Gottlob, Georg ; Pavlovic, Aleksandar ; Pichler, Reinhard ; Sallinger, Emanuel SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via DatalogArticle Artikel Nov-2023
64Sallinger, Sarah ; Weissenbacher, Georg ; Zuleger, Florian A Formalization of Heisenbugs and Their CausesInproceedings Konferenzbeitrag 31-Oct-2023
65Dik, Josephine Femke Exploring preferenced permissions: From Sanskrit Philosophy to AIPresentation Vortrag30-Oct-2023
66Fermüller, Christian Judgment Aggregation with Graded Deontic LogicsPresentation Vortrag28-Oct-2023
672023-Cookie Crumbles Breaking and Fixing Web Session Integrity-vor.pdf.jpgMarco Squarcina ; Adão, Pedro ; Lorenzo Veronese ; Matteo Maffei Cookie Crumbles: Breaking and Fixing Web Session IntegrityInproceedings Konferenzbeitrag 26-Oct-2023
68Bonatti-2023-Circumscription in DL-Lite Progress Report-vor.pdf.jpgBonatti, Piero ; Di Stefano, Federica ; Ortiz, Magdalena ; Šimkus, Mantas Circumscription in DL-Lite: Progress ReportInproceedings Konferenzbeitrag 23-Oct-2023
69Ahmetaj-2023-Reconciling SHACL and Ontologies Semantics and Validation vi...-vor.pdf.jpgAhmetaj, Shqiponja ; Ortiz de la Fuente, Maria Magdalena ; Oudshoorn, Anouk Michelle ; Simkus, Mantas Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (Extended Abstract)Inproceedings Konferenzbeitrag 23-Oct-2023
70Pelgrin, Olivier ; Taelman, Ruben ; Galárraga, Luis ; Hose, Katja GLENDA: Querying RDF Archives with Full SPARQLInproceedings Konferenzbeitrag 21-Oct-2023
71Peitl-2023-Discrete Applied Mathematics-vor.pdf.jpgPeitl, Tomáš ; Szeider, Stefan Are hitting formulas hard for resolution?Article Artikel 15-Oct-2023
72Aumayr, Lukas Virtual Payment Channel Networks in CryptocurrenciesPresentation Vortrag12-Oct-2023
732023-Reshaping Unplugged Computer Science Workshops forPrimary School Edu...-vor.pdf.jpgMartina Landman ; Sophie Rain ; Laura Kovács ; Gerald Futschek Reshaping Unplugged Computer Science Workshops for Primary School EducationInproceedings Konferenzbeitrag 1-Oct-2023
74Coward-2023-Datapath Verification via Word-Level E-Graph Rewriting-vor.pdf.jpgCoward, Samuel ; Morini, Emiliano ; Tan, Bryan ; Drane, Theo ; Constantinides, George Datapath Verification via Word-Level E-Graph RewritingInproceedings Konferenzbeitrag Oct-2023
75Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
76Park-2023-Modular System Synthesis-vor.pdf.jpgPark, Kanghee ; Johnson, Keith ; D'Antoni, Loris ; Reps, Thomas Modular System SynthesisInproceedings Konferenzbeitrag Oct-2023
77Godbole-2023-Modelling and Verification of Security-Oriented Resource Par...-vor.pdf.jpgGodbole, Adwait ; Ye, Leiqi ; Manerkar, Yatin A. ; Seshia, Sanjit Modelling and Verification of Security-Oriented Resource Partitioning SchemesInproceedings Konferenzbeitrag Oct-2023
78Zhou-2023-Mariposa Measuring SMT Instability in Automated Program Verific...-vor.pdf.jpgZhou, Yi ; Bosamiya, Jay ; Takashima, Yoshiki ; Li, Jessica G. ; Heule, Marijn ; Parno, Bryan Mariposa: Measuring SMT Instability in Automated Program VerificationInproceedings Konferenzbeitrag Oct-2023
79Mohamed-2023-A Procedure for SyGuS Solution Fitting via Matching and Rewr...-vor.pdf.jpgMohamed, Abdalrhman ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule DiscoveryKonferenzbeitrag Inproceedings Oct-2023
80Li-2023-Local Search For SMT On Linear and Multilinear Real Arithmetic-vor.pdf.jpgLi, Bohan ; Cai, Shaowei Local Search For SMT On Linear and Multilinear Real ArithmeticInproceedings Konferenzbeitrag Oct-2023