Found 49 Documents (Results 1–49)
Using answer set programming to deal with Boolean networks and attractor computation: application to gene regulatory networks of cells. (English) Zbl 07759324
MSC:
68-XX
ASP and subset minimality: enumeration, cautious reasoning and MUSes. (English) Zbl 07702961
MSC:
68Txx
OuterCount: a first-level solution-counter for quantified Boolean formulas. (English) Zbl 07691305
Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 272-284 (2022).
MSC:
68Vxx
Enumeration of minimal models and MUSes in WASP. (English) Zbl 07671876
Gottlob, Georg (ed.) et al., Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13416, 29-42 (2022).
Synthesizing imperative code from answer set programming specifications. (English) Zbl 1502.68075
Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 75-89 (2020).
Vicious circle principle, aggregates, and formation of sets in ASP based languages. (English) Zbl 1478.68041
Treewidth in non-ground answer set solving and alliance problems in graphs. (English) Zbl 1428.68210
Rocha, Ricardo (ed.) et al., Technical communications of the 33rd international conference on logic programming, ICLP 2017, August 28 – September 1, 2017, Melbourne, Australia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 58, Article 12, 12 p. (2018).
Model enumeration in propositional circumscription via unsatisfiable core analysis. (English) Zbl 1422.68217
MSC:
68T27
Answer set enumeration via assumption literals. (English) Zbl 1430.68326
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 149-163 (2016).
Justifications and blocking sets in a rule-based answer set computation. (English) Zbl 1428.68090
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 6, 15 p. (2016).
MSC:
68N17
Index sets for finite normal predicate logic programs with function symbols. (English) Zbl 1474.68041
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9537, 60-75 (2016).
Checking reversibility of Boolean functions. (English) Zbl 1480.94058
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 322-337 (2016).
Using \(\pi\)DDs for nearest neighbor optimization of quantum circuits. (English) Zbl 1480.81032
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 181-196 (2016).
\(\#{\exists}\mathrm{SAT}\): projected model counting. (English) Zbl 1471.68174
Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 121-137 (2015).
MSC:
68R07
Performance tuning in answer set programming. (English) Zbl 1467.68023
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 186-198 (2015).
MSC:
68N17
Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation. (English) Zbl 1252.05152
Parsing combinatory categorial grammar via planning in answer set programming. (English) Zbl 1357.68256
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 436-453 (2012).
Algorithms for solving satisfiability problems with qualitative preferences. (English) Zbl 1357.68206
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 327-344 (2012).
MSC:
68T20
Toward question answering in travel domains. (English) Zbl 1357.68233
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 311-326 (2012).
Gearing up for effective ASP planning. (English) Zbl 1357.68035
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 296-310 (2012).
The intelligent grounder of DLV. (English) Zbl 1357.68032
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 247-264 (2012).
MSC:
68N17
Computing weighted solutions in ASP: representation-based method vs. search-based method. (English) Zbl 1402.68031
On the implementation of weight constraint rules in conflict-driven ASP solvers. (English) Zbl 1251.68059
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 250-264 (2009).
MSC:
68N17
Constraint answer set solving. (English) Zbl 1251.68061
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 235-249 (2009).
MSC:
68N17
Dealing automatically with exceptions by introducing specificity in ASP. (English) Zbl 1245.68185
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 614-625 (2009).
Engineering an incremental ASP solver. (English) Zbl 1185.68159
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 190-205 (2008).
MSC:
68N17
Modeling biological networks by action languages via answer set programming. (English) Zbl 1148.68564
Integrating inductive definitions in SAT. (English) Zbl 1137.68581
Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 378-392 (2007).
Filter Results by …
Document Type
- Journal Articles (28)
- Collection Articles (21)
all
top 5
Author
- Schaub, Torsten H. (9)
- Gebser, Martin (6)
- Alviano, Mario (4)
- Kaufmann, Benjamin (4)
- Leone, Nicola (4)
- Lierler, Yuliya (4)
- Dodaro, Carmine (3)
- Gelfond, Michael (3)
- Ricca, Francesco (3)
- Analyti, Anastasia (2)
- Antoniou, Grigoris (2)
- Faber, Wolfgang (2)
- Fiorentino, Salvatore (2)
- Garcia, Laurent (2)
- Giunchiglia, Enrico (2)
- Kaminski, Roland (2)
- Lin, Fangzhen (2)
- Maratea, Marco (2)
- Ostrowski, Max (2)
- Perri, Simona (2)
- Previti, Alessandro (2)
- Wille, Robert (2)
- Zhang, Yan (2)
- Zhang, Yuanlin (2)
- Zhou, Yi (2)
- Argelich, Josep (1)
- Asuncion, Vernon (1)
- Aziz, Rehan Abdul (1)
- Béatrix, Christopher (1)
- Benhamou, Belaid (1)
- Bisiani, Roberto (1)
- Bliem, Bernhard (1)
- Brewka, Gerhard (1)
- Buddenhagen, Matthew (1)
- Cabalar, Pedro (1)
- Çakmak, Duygu (1)
- Catalano, Gelsomina (1)
- Cenzer, Douglas (1)
- Chen, Yin (1)
- Chu, Geoffrey (1)
- Damásio, Carlos V. (1)
- Delgrande, James P. (1)
- Denecker, Marc (1)
- Dworschak, Steve (1)
- Erdem, Esra (1)
- Erdoğan, Halit (1)
- Fandinno, Jorge (1)
- Gottlob, Georg (1)
- Graça, Ana (1)
- Grell, Susanne (1)
- Gupta, Gopal (1)
- Inoue, Yuma (1)
- Janhunen, Tomi (1)
- Janičić, Predrag (1)
- Kauers, Manuel (1)
- Kaufmann, Roland (1)
- Khaled, Tarek (1)
- Lefèvre, Claire (1)
- Lye, Aaron (1)
- Lynce, Inês (1)
- Marek, V. Wiktor (1)
- Mariën, Maarten (1)
- Marques-Silva, João P. (1)
- Mellarkod, Veena S. (1)
- Merico, Davide (1)
- Miettinen, Pauli (1)
- Mileo, Alessandra (1)
- Minato, Shin-ichi (1)
- Mittal, Neeraj (1)
- Möhle, Sibylle (1)
- Muise, Christian (1)
- Narboux, Julien (1)
- Ngoma, Stéphane (1)
- Nicolas, Pascal (1)
- Niemann, Philipp (1)
- Nikiforova, Victoria J. (1)
- Pachoulakis, Ioannis (1)
- Pajunen, Jukka (1)
- Paramonov, Sergey (1)
- Pfeifer, Gerald (1)
- Porschen, Stefan (1)
- Quetschlich, Nils (1)
- Remmel, Jeffrey Brian (1)
- Romero, Javier (1)
- Salazar, Elmer (1)
- Scarcello, Francesco (1)
- Schüller, Peter (1)
- Seidl, Martina (1)
- Selbig, Joachim (1)
- Shukla, Ankit (1)
- Speckenmeyer, Ewald (1)
- Stepanova, Daria A. (1)
- Stéphan, Igor (1)
- Stuckey, Peter James (1)
- Thiele, Sven (1)
- Toda, Takahisa (1)
- Todorova, Yana (1)
- Van-Giang Trinh (1)
- Varanasi, Sarat Chandra (1)
- Viegas Damásio, Carlos (1)
- and 7 more Authors
all
top 5
Serial
- Ann. Math. Artif. Intell. (12)
- Artif. Intell. (6)
- Theory Pract. Log. Program. (5)
- Constraints (2)
- Discrete Appl. Math. (1)
- J. Autom. Reasoning (1)
- ACM Trans. Comput. Log. (1)
all
top 3
Software
- clasp (16)
- ASSAT (14)
- Clingo (11)
- Gringo (11)
- Smodels (11)
- MiniSat (7)
- WASP (7)
- Chaff (6)
- Cmodels (6)
- Lparse (6)
- iClingo (6)
- Potassco (5)
- Clingcon (4)
- asprin (4)
- QUICKXPLAIN (3)
- nomore++ (3)
- BerkMin (2)
- CP-nets (2)
- DLV (2)
- DLV-EX (2)
- Datalog (2)
- NoMoRe (2)
- PBS (2)
- PDDL (2)
- RevLib (2)
- SPARQL (2)
- Sat4j (2)
- TRIPLE (2)
- maxino (2)
- sharpSAT (2)
- ASP-G (1)
- ASPeRiX (1)
- AVATAR (1)
- ArgoCLP (1)
- BEE (1)
- CCGbank (1)
- CCalc (1)
- CLOSET (1)
- CPLEX (1)
- CloSpan (1)
- Coala (1)
- Coq (1)
- CoqHammer (1)
- DASWAM (1)
- DepQBF (1)
- EUCLID (1)
- GOLOG (1)
- GULP (1)
- GidL (1)
- Glucose (1)
- GraphBase (1)
- Graphplan (1)
- HOLyHammer (1)
- HiLog (1)
- IDP (1)
- IDPDraw (1)
- Isabelle (1)
- Isabelle/HOL (1)
- JBool (1)
- LP2SAT (1)
- Lingeling (1)
- Logipedia (1)
- MIPLIB (1)
- MIPLIB2003 (1)
- MUSer2 (1)
- MWeb (1)
- MiniMaxSat (1)
- MiningZinc (1)
- N3Logic (1)
- OMiGA (1)
- OPIUM (1)
- OntoDLV (1)
- Paramils (1)
- Penn Treebank (1)
- PicoSAT (1)
- Pueblo (1)
- PyBoolNet (1)
- SATIRE (1)
- SATzilla (1)
- SICStus (1)
- SPASS (1)
- Siege (1)
- Sledgehammer (1)
- TPTP (1)
- URSA (1)
- VAMPIRE (1)
- XSB (1)
- Zenon (1)
- aGrUM (1)
- anthem (1)
- aspcud (1)
- circumscriptino (1)
- gSpan (1)
- hclasp (1)
- iProver (1)
- leanCoP (1)
- oClingo (1)
- plasp (1)
- pyglaf (1)
- semprop (1)
- and 2 more Software Packages