Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- Datei:FDQL15-exercise07.pdf + (19:23:32, 8 June 2015)
- Datei:FSWT-L14-Tableau1.pdf + (12:51:35, 9 June 2015)
- Datei:FSWT-L15-Tableau2.pdf + (12:52:15, 9 June 2015)
- Datei:DS-2015-T3-Optimizations.pdf + (08:59:34, 10 June 2015)
- Connectionist Networks/en + (12:49:34, 10 June 2015)
- Free University of Bozen-Bolzano + (13:06:15, 10 June 2015)
- Technische Universität Wien + (13:08:47, 10 June 2015)
- Universidade NOVA de Lisboa + (13:09:41, 10 June 2015)
- National ICT Australia + (13:10:31, 10 June 2015)
- Datei:Iccl cube blue 200px.png + (13:18:51, 10 June 2015)
- Datei:Nicta-logo.png + (14:18:48, 10 June 2015)
- Datei:TU-Signet.png + (14:25:10, 10 June 2015)
- Datei:Universidade-nova-lisboa.png + (14:57:08, 10 June 2015)
- Datei:Unibz logo.png + (15:23:13, 10 June 2015)
- Datei:Unibz logo white.png + (15:34:25, 10 June 2015)
- Datei:Seal New University of Lisbon.svg.png + (15:37:35, 10 June 2015)
- ICCL-SS-2015 + (15:57:24, 10 June 2015)
- Datei:Bird.gif + (16:19:03, 10 June 2015)
- Vorlage:DisplayForschungsgebiet + (08:42:41, 11 June 2015)
- Datei:9781614994206.jpg + (12:11:07, 11 June 2015)
- Datei:Sat2013.jpg + (12:15:52, 11 June 2015)
- Datei:Ki2014.jpg + (12:19:20, 11 June 2015)
- Formula Simplifications as DRAT Derivations + (12:22:36, 11 June 2015)
- A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained + (12:24:00, 11 June 2015)
- Soundness of Inprocessing in Clause Sharing SAT Solvers + (12:25:27, 11 June 2015)
- Clause Simplifications in Search-Space Decomposition-Based SAT Solvers + (12:26:27, 11 June 2015)
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (12:27:41, 11 June 2015)
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers + (12:28:57, 11 June 2015)
- From Classical to Consistent Query Answering under Existential Rules + (15:33:23, 11 June 2015)
- Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers + (10:55:50, 12 June 2015)
- Datei:FDQLSS15-lecture-09.pdf + (11:42:58, 15 June 2015)
- Datei:FDQLSS15-lecture-09-2x2.pdf + (11:43:18, 15 June 2015)
- Datei:PSSAI2015-T4.pdf + (16:13:14, 15 June 2015)
- Datei:PSSAI2015 L8.pdf + (07:28:38, 16 June 2015)
- Datei:BMPT-DL15.pdf + (07:49:24, 16 June 2015)
- Datei:CeLP-DL15.pdf + (07:55:26, 16 June 2015)
- Datei:CePe-DL15.pdf + (07:57:22, 16 June 2015)
- Datei:FDQL15-exercise08.pdf + (08:05:08, 16 June 2015)
- Datei:FSWT-T4-Tableau.pdf + (09:40:42, 16 June 2015)
- Datei:FSWT-L16-Hypertableau1.pdf + (09:57:55, 16 June 2015)
- Datei:FSWT-L17-Hypertableau2.pdf + (09:58:46, 16 June 2015)
- Datei:SAT-Solving-Algorithms2015.pdf + (13:05:45, 16 June 2015)
- Proceedings of the First International Workshop on Uncertainty in Description Logics + (14:09:49, 16 June 2015)
- Datei:Sibylle moehle.jpg + (06:30:24, 17 June 2015)
- ICCL/ICCL + (09:19:45, 17 June 2015)
- Datei:Pizza.lp.zip + (12:29:40, 17 June 2015)
- Datei:PSSAI2015-T5.pdf + (12:36:01, 17 June 2015)
- Datei:ZarriessClassenIJCAI15.pdf + (16:07:15, 17 June 2015)
- Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs + (16:19:40, 17 June 2015)
- Datei:DS2015 ASP 1.pdf + (09:12:38, 18 June 2015)
- Datei:FSWT-T4-Tableau-Solutions.pdf + (09:12:59, 19 June 2015)
