Výsledky vyhľadávania - Logic programming and answer set programming

Answer Set Searching with Weighted MaxSAT.

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

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

Predmety: 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.

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

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

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

Teaching logic programming: a review

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

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

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

Popis súboru: electronic resource

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

Prístupová URL adresa: https://doaj.org/article/fe0f681845f34cf5b6ef56e34a666a8d

Elements for Weighted Answer-Set Programming

Autori: Dinis, Bruno Coelho, Francisco Abreu, Salvador a ďalší

Predmety: 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

Dostupnosť: http://hdl.handle.net/10174/39151

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

Autori: D'Asaro, Fabio A. Spezialetti, Matteo Raggioli, Luca a ďalší

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

Predmety: 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

Prístupová URL adresa: 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

Answer set programming probabilístico

Probabilistic Answer Set Programming

Autori: Morais, Eduardo Menezes de

Thesis Advisors: Finger, Marcelo

Predmety: answer set programming (ASP), logic programming, lógica probabilística, many-to-one reduction, probabilistic logic, probabilistic satisfiability (PSAT), programação lógica, redução muitos-para-um, satisfazibilidade probabilística (PSAT)

Popis súboru: application/pdf

Dostupnosť: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Autori: Alferes, José Júlio Banti, Federico Brogi, Antonio a ďalší

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

Prístupová URL adresa: https://www.jstor.org/stable/20016674

Learning answer set programming rules for ethical machines

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

Predmety: Machine Ethics, Inductive Logic Programming, Answer Set programming

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/11697/151027

Superoptimisation : provably optimal code generation using answer set programming

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

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

Predmety: 005.3, compliers, logic programming, code optimisation, answer set programming

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.518295

Automating the development of Metabolic Network Models using Abductive Logic Programming

Autori: Rozanski, Robert King, Ross

Prispievatelia: Rozanski, Robert King, Ross

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

Prístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.727971

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

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

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

Predmety: 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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10362/30470

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

Autori: Khaled, Tarek Benhamou, Belaid

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

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

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

Autori: LEONE, Nicola RICCA, Francesco

Zdroj: Lecture Notes in Computer Science ISBN: 9783319217673

Predmety: 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

Prístupová URL adresa: 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

Answer Set Programming(Current Trends in Logic-Based Inference Techniques) / 解集合プログラミング(<特集>論理に基づく推論研究の動向)

Autori: Chiaki SAKAMA Katsumi INOUE 井上 克巳 a ďalší

Zdroj: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 2010, 25(3):368

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

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

Zdroj: Bibliogr. przy rozdz.

Predmety: Logika

Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:2891666&theme=nukat

Combining answer set programming with description logics for the Semantic Web

Autori: Eiter, Thomas Ianni, Giovambattista Lukasiewicz, Thomas a ďalší

Zdroj: Artificial Intelligence. Aug2008, Vol. 172 Issue 12/13, p1495-1539. 45p.

Predmety: *Logic programming, *Ontologies (Information retrieval), *Semantic Web, *Semantic networks (Information theory), *Knowledge representation (Information theory), *Data structures, Description logics, Herbrand's theorem (Number theory)

Relating Multi-Adjoint Normal Logic Programs to Core Fuzzy Answer Set Programs from a Semantical Approach

Autori: M. Eugenia Cornejo David Lobo Jesús Medina

Zdroj: Mathematics, Vol 8, Iss 6, p 881 (2020)

Predmety: multi-adjoint logic programming, core fuzzy answer set programming, non-monotonic logic programming, negation operator, Mathematics, QA1-939

Popis súboru: electronic resource

Relation: https://www.mdpi.com/2227-7390/8/6/881; https://doaj.org/toc/2227-7390

Prístupová URL adresa: https://doaj.org/article/794c9b31136b437c92b129c7cb62b0e9

Learning Logic Specifications for Soft Policy Guidance in POMCP

Autori: Giulio Mazzi Daniele Meli Alberto Castellini a ďalší

Predmety: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Partially Observable Markov Decision Processes, Planning Under Uncertainty, Inductive Logic Programming, Answer Set Programming, Explainable AI, Machine Learning (cs.LG), Logic in Computer Science (cs.LO)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2303.09172
https://hdl.handle.net/11562/1095998
https://dl.acm.org/doi/abs/10.5555/3545946.3598660#sec-terms

Answer set programming probabilístico

Probabilistic Answer Set Programming

Autori: Eduardo Menezes de Morais

Thesis Advisors: Marcelo Finger, Paulo Eduardo Santos, Flavio Soares Correa da Silva

Zdroj: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Predmety: answer set programming (ASP), lógica probabilística, programação lógica, redução muitos-para-um, satisfazibilidade probabilística (PSAT), logic programming, many-to-one reduction, probabilistic logic, probabilistic satisfiability (PSAT)

Dostupnosť: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-20022013-001051/

Answer Sets and the Language of Answer Set Programming.

Autori: Lifschitz, Vladimir¹

Zdroj: AI Magazine. Fall2016, Vol. 37 Issue 3, p7-11. 5p.

Predmety: *Computer programming, *Logic programming, *Problem solving, *Programming languages, Declarative programming