Výsledky vyhľadávania - logic programming and answer (set OR siet) programming

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

The Role of preferences in logic programming: nonmonotonic reasoning, user preferences, decision under uncertainty

Autori: Confalonieri, Roberto

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

Thesis Advisors: Vázquez Salceda, Javier, Nieves Sánchez, Juan Carlos

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/84042
https://dx.doi.org/10.5821/dissertation-2117-94634

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

Answer Sets and Qualitative Decision Making

Autori: Brewka, Gerhard

Zdroj: Synthese, 2005 Aug 01. 146(1/2), 171-187.

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

A First Order Nonmonotonic Extension of Constructive Logic

Autori: Pearce, David Valverde, Agustín

Zdroj: Studia Logica: An International Journal for Symbolic Logic, 2005 Jul 01. 80(2/3), 321-346.

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

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

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

Algorithms and efficient encodings for argumentation frameworks and arithmetic problems

Autori: Guitart Bravo, Francesc

Prispievatelia: University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

Thesis Advisors: Alsinet, Teresa, Béjar Torres, Ramón

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Raonament, Semàntiques Recursives, Conflicte col·lectiu, Razonamiento, Semánticas recursivas, Conflicto colectivo, Defeasible Reasoning, Recursive semantics, Collective conflict, Ciència de la Computació i Inteligència Artificial

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/284474

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

A casual semantics for Logic Programming

Autori: Fandiño García, Jorge

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

Predmety: Lenguajes de programación-Semántica, Programación lógica, Inteligencia artificial

Prístupová URL adresa: http://hdl.handle.net/2183/14935

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/

Temporal Answer Set Programming

Autori: Diéguez Lodeiro, Martín

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

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

Prístupová URL adresa: http://hdl.handle.net/2183/14164

Programación lógica difusa para la gestión flexible de documentos XML. (Fuzzy Logic Programming for the Flexible Management of XML Documents)

Autori: Luna Tedesqui, Alejandro

Predmety: Procesamiento de datos

Prístupová URL adresa: http://hdl.handle.net/10578/10520

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

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

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