Search Results - (logic OR login) programming and answer set programming

Answer Set Searching with Weighted MaxSAT.

Authors: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

Source: Procedia Computer Science. 2025, Vol. 270, p2301-2309. 9p.

Subject Terms: NP-hard problems, Logic programming, Combinatorial optimization, Knowledge representation (Information theory), Mathematical programming, Algorithms, Constraint satisfaction

Logic Programming for Orthogonal Graph Drawing on Restricted Grids.

Authors: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

Source: Procedia Computer Science. 2025, Vol. 270, p2318-2325. 8p.

Subject Terms: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

EzASP – Making Learning Answer Set Programming Easier: Thesis Report

Authors: Henriques, Ramiro Miguel Ribeiro Knorr, Matthias Gonçalves, Ricardo et al.

Contributors: Henriques, Ramiro Miguel Ribeiro Knorr, Matthias Gonçalves, Ricardo et al.

Subject Terms: Answer Set Programming, Methodology, Structure, Learnability, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/178438

Teaching logic programming: a review

Authors: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Source: CTE Workshop Proceedings, Vol 12 (2025)

Subject Terms: logic programming, computer science education, Prolog, Answer Set Programming, Datalog, constraint logic programming, Technology, Education

File Description: electronic resource

Relation: https://acnsci.org/journal/index.php/cte/article/view/838; https://doaj.org/toc/2833-5473

Access URL: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Elements for Weighted Answer-Set Programming

Authors: Dinis, Bruno Coelho, Francisco Abreu, Salvador et al.

Subject Terms: Answer-Set Programming, Stable Models, Probabilistic Logic Programming

Relation: Francisco Coelho, Bruno Dinis, Dietmar Seipel, and Salvador Abreu - Elements for Weighted Answer-Set Programming, 14th Symposium on Languages, Applications and Technologies (SLATE 2025). Editors: Jorge Baptista and José Barateiro; Article No. 3; pp. 3:1–3:16 OpenAccess Series in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany; https://drops.dagstuhl.de/storage/01oasics/oasics-vol135-slate2025/OASIcs.SLATE.2025.3/OASIcs.SLATE.2025.3.pdf; bruno.dinis@uevora.pt; fc@uevora.pt; spa@uevora.pt; dietmar.seipel@uni-wuerzburg.de; 332

Availability: http://hdl.handle.net/10174/39151

Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems

Authors: D'Asaro, Fabio A. Spezialetti, Matteo Raggioli, Luca et al.

Source: Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. :855-859

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Explainable AI, Logic programming, answer set programming, constraint logic programming, machine learning, inductive logic programming, knowledge acquisition, 02 engineering and technology

Access URL: https://hdl.handle.net/11588/951868
https://proceedings.kr.org/2020/88/
https://proceedings.kr.org/2020/88/
https://dblp.uni-trier.de/db/conf/kr/kr2020.html#DAsaroSRR20
https://proceedings.kr.org/2020/88/kr2020-0088-dasaro-et-al.pdf
https://hdl.handle.net/11562/1066083
https://doi.org/10.24963/kr.2020/88
https://hdl.handle.net/11588/951868
https://proceedings.kr.org/2020/88/
https://doi.org/10.24963/kr.2020/88
https://hdl.handle.net/11697/160503
https://doi.org/10.24963/kr.2020/88

Automating the development of Metabolic Network Models using Abductive Logic Programming

Authors: Rozanski, Robert King, Ross

Contributors: Rozanski, Robert King, Ross

Subject Terms: 005.1, Automation of Science, Answer Set Programming, Abductive Logic Programming, Computational Scientific Discovery, Experiment design, Huginn, Model revision

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727971

Satisfiability Testing of Propositional Modal Logic K with Answer Set Programming / 解集合プログラミングによる様相命題論理Kの充足可能性判定

Authors: Katsumi INOUE Mutsunori BANBARA Naoki IINO et al.

Source: Proceedings of the Annual Conference of JSAI. 2020, :2

Superoptimisation : provably optimal code generation using answer set programming

Authors: Crick, Thomas Fitch, John De Vos, Marina

Contributors: Crick, Thomas Fitch, John De Vos, Marina

Subject Terms: 005.3, compliers, logic programming, code optimisation, answer set programming

Access URL: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.518295

Axiomatization of Non-Recursive Aggregates in First-Order Answer Set Programming.

Authors: Fandinno, Jorge Hansen, Zachary Lierler, Yuliya

Source: Journal of Artificial Intelligence Research. 2024, Vol. 80, p977-1031. 55p.

Subject Terms: Computer programming, Axioms, Semantics, Recursion theory, Aggregation operators

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

Authors: Rodrigo Martin Pedro Cabalar

Source: Proceedings, Vol 21, Iss 1, p 22 (2019)

Subject Terms: logic minimization, knowledge representation, answer set programming, here-and-there logic, General Works

File Description: electronic resource

Relation: https://www.mdpi.com/2504-3900/21/1/22; https://doaj.org/toc/2504-3900

Access URL: https://doaj.org/article/e184a901a8194b67b002f6b7de64b391

Learning answer set programming rules for ethical machines

Authors: Dyoub A. Costantini S. Lisi F. A.

Subject Terms: Machine Ethics, Inductive Logic Programming, Answer Set programming

File Description: application/pdf

Access URL: https://hdl.handle.net/11697/151027

Forgetting in Answer Set Programming with Anonymous Cycles

Authors: Berthold, Matti Gonçalves, Ricardo Knorr, Matthias et al.

Contributors: Berthold, Matti Gonçalves, Ricardo Knorr, Matthias et al.

Subject Terms: Theoretical Computer Science, Computer Science(all)

File Description: application/pdf

Relation: Berthold, M., Gonçalves, R., Knorr, M., & Leite, J. (2019). Forgetting in Answer Set Programming with Anonymous Cycles. In P. Moura Oliveira, P. Novais, & L. P. Reis (Eds.), Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Proceedings (pp. 552-565). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11805 LNAI). Springer. https://doi.org/10.1007/978-3-030-30244-3_46; 978-3-030-30243-6; 0302-9743; PURE: 15534150

Availability: http://hdl.handle.net/10362/93657

Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

Authors: Moura, João Manuel Gomes Damásio, Carlos RUN

Contributors: Moura, João Manuel Gomes Damásio, Carlos RUN

Subject Terms: Logic Programming, Answer Set Programming, Paracoherence, Paraconsistency, Modular Logic Programming, Probabilistic Logic Programming, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática

File Description: application/pdf

Availability: http://hdl.handle.net/10362/30470

Dealing with Biology Systems in the Framework of Answer Set Programming.

Authors: Khaled, Tarek Benhamou, Belaid

Source: Procedia Computer Science. 2020, Vol. 176, p450-459. 10p.

Subject Terms: Systems biology, Gene regulatory networks, Double-strand DNA breaks, Drug side effects, Logic programming, Synthetic biology

Qualitative Reasoning about 2D Cardinal Directions using Answer Set Programming.

Authors: Izmirlioglu, Yusuf Erdem, Esra

Source: Journal of Artificial Intelligence Research. 2023, Vol. 77, p1371-1453. 83p.

Subject Terms: Benchmarking (Management), Discretization methods, Computational complexity, Disjunction (Logic), Constraint algorithms

Temporal Answer Set Programming

Authors: Diéguez Lodeiro, Martín

Thesis Advisors: Cabalar Fernández, Pedro, Universidade da Coruña. Departamento de Computación

Subject Terms: Razonamiento no-monótono, Representación del conocimiento, Sistemas expertos (Informática)

Access URL: http://hdl.handle.net/2183/14164

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Authors: Alferes, José Júlio Banti, Federico Brogi, Antonio et al.

Source: Studia Logica: An International Journal for Symbolic Logic, 2005 Feb 01. 79(1), 7-32.

Access URL: https://www.jstor.org/stable/20016674

Equilibrium logic and answer set programming / guest ed. Pedro Cabalar and Agustín Valverde.

Contributors: Cabalar, Pedro (1969- ). Valverde, Ramos Agustín. Routledge. pbl

Source: Bibliogr. przy rozdz.

Subject Terms: Logika

Access URL: http://katalog.nukat.edu.pl/lib/item?id=chamo:2891666&theme=nukat

Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications

Authors: LEONE, Nicola RICCA, Francesco

Source: Lecture Notes in Computer Science ISBN: 9783319217673

Subject Terms: 2. Zero hunger, Computational linguistics, Computer programming, Logic programming Answer set programming, Development tools, Knowledge representation and reasoning, Non-monotonic reasoning, Real-world, Rule-based language, Speed up, 9. Industry and infrastructure

Access URL: https://rd.springer.com/chapter/10.1007/978-3-319-21768-0_10
https://link.springer.com/chapter/10.1007/978-3-319-21768-0_10
https://doi.org/10.1007/978-3-319-21768-0_10
https://link.springer.com/chapter/10.1007/978-3-319-21768-0_10/fulltext.html
https://dblp.uni-trier.de/db/conf/rweb/rweb2015.html#LeoneR15
https://hdl.handle.net/20.500.11770/178539
https://doi.org/10.1007/978-3-319-21768-0_10