Výsledky vyhledávání - logic programming and answer ((set OR sept) OR siet) programming

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

Autoři: Confalonieri, Roberto

Přispěvatelé: 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 souboru: application/pdf

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

Answer Set Searching with Weighted MaxSAT.

Autoři: Nowakowski, Arkadiusz Wieczorek, Wojciech Strąk, Łukasz

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

Témata: 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.

Autoři: Strąk, Łukasz Wieczorek, Wojciech Nowakowski, Arkadiusz

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

Témata: Logic programming, Constraint satisfaction, Graph theory, Grids (Cartography), Planar graphs

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Autoři: Alferes, José Júlio Banti, Federico Brogi, Antonio a další

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

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

Teaching logic programming: a review

Autoři: Serhiy O. Semerikov Iryna S. Mintii Natalia V. Moiseienko

Zdroj: CTE Workshop Proceedings, Vol 12 (2025)

Témata: logic programming, computer science education, Prolog, Answer Set Programming, Datalog, constraint logic programming, Technology, Education

Popis souboru: electronic resource

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

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

Algorithms and efficient encodings for argumentation frameworks and arithmetic problems

Autoři: Guitart Bravo, Francesc

Přispěvatelé: 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)

Témata: 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 souboru: application/pdf

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

A casual semantics for Logic Programming

Autoři: Fandiño García, Jorge

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

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

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

Temporal Answer Set Programming

Autoři: Diéguez Lodeiro, Martín

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

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

Pří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)

Autoři: Luna Tedesqui, Alejandro

Témata: Procesamiento de datos

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

Elements for Weighted Answer-Set Programming

Autoři: Dinis, Bruno Coelho, Francisco Abreu, Salvador a další

Témata: 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

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

Answer Sets and Qualitative Decision Making

Autoři: Brewka, Gerhard

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

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

Automating the development of Metabolic Network Models using Abductive Logic Programming

Autoři: Rozanski, Robert King, Ross

Přispěvatelé: Rozanski, Robert King, Ross

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

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

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

Autoři: D'Asaro, Fabio A. Spezialetti, Matteo Raggioli, Luca a další

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

Témata: 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

Pří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

Superoptimisation : provably optimal code generation using answer set programming

Autoři: Crick, Thomas Fitch, John De Vos, Marina

Přispěvatelé: Crick, Thomas Fitch, John De Vos, Marina

Témata: 005.3, compliers, logic programming, code optimisation, answer set programming

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

A First Order Nonmonotonic Extension of Constructive Logic

Autoři: Pearce, David Valverde, Agustín

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

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

Answer set programming probabilístico

Probabilistic Answer Set Programming

Autoři: Morais, Eduardo Menezes de

Thesis Advisors: Finger, Marcelo

Témata: 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 souboru: application/pdf

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

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

Autoři: Moura, João Manuel Gomes Damásio, Carlos RUN

Přispěvatelé: Moura, João Manuel Gomes Damásio, Carlos RUN

Témata: 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 souboru: application/pdf

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

Learning answer set programming rules for ethical machines

Autoři: Dyoub A. Costantini S. Lisi F. A.

Témata: Machine Ethics, Inductive Logic Programming, Answer Set programming

Popis souboru: application/pdf

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

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

Autoři: Khaled, Tarek Benhamou, Belaid

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

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

Scalable Neural-Probabilistic Answer Set Programming.

Autoři: Skryagin, Arseny Ochs, Daniel Dhami, Devendra Singh a další

Zdroj: Journal of Artificial Intelligence Research. 2023, Vol. 78, p579-617. 39p.

Témata: Neural computers, Artificial intelligence, Deep learning, Probabilistic number theory, Stochastic analysis