Výsledky vyhľadávania - "Abductive Logic Programming"

An efficient propositional system for Abductive Logic Programming

Autori: Marco Gavanelli Pascual Julián-Iranzo Fernando Sáenz-Pérez a ďalší

Prispievatelia: Marco Gavanelli Pascual Julián-Iranzo Fernando Sáenz-Pérez a ďalší

Zdroj: Docta Complutense
instname

Predmety: Abductive Logic Programming, SCIFF, Hypothetical Reasoning, System Implementation, System Implementation, Hypothetical Reasoning, Abductive Logic Programming, 1203.02 Lenguajes Algorítmicos, Lenguajes de programación, SCIFF

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/20.500.14352/113780
https://link.springer.com/article/10.1007/s10462-024-10928-7
https://hdl.handle.net/11392/2567770
https://doi.org/10.1007/s10462-024-10928-7

Expressing and Verifying Business Contracts with Abductive Logic Programming

Autori: Alberti, Marco Chesani, Federico Gavanelli, Marco a ďalší

Zdroj: International Journal of Electronic Commerce, 2008 Jul 01. 12(4), 9-38.

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

An efficient propositional system for Abductive Logic Programming

Autori: Gavanelli, Marco Julián-Iranzo, Pascual Sáenz-Pérez, Fernando

Témy: Abductive Logic Programming, SCIFF, Hypothetical Reasoning, System Implementation, Lenguajes de programación, 1203.02 Lenguajes Algorítmicos, journal article, AM

URL: https://hdl.handle.net/20.500.14352/113780
PID2019-104735RB-C42
S2018/TCS-4339
CUP_E55F22000270001
PNRR - M4C2
PE00000013
Gavanelli, M., Julián-Iranzo, P. & Sáenz-Pérez, F. An efficient propositional system for Abductive Logic Programming. Artif Intell Rev 57, 334 (2024). https://doi.org/10.1007/s10462-024-10928-7

Evaluating Compliance: From LTL to Abductive Logic Programming

Autori: Montali, Marco CHESANI, FEDERICO Gavanelli, Marco a ďalší

Zdroj: Fundamenta Informaticae. 159:35-63

Predmety: Linear Temporal Logic, Abductive Logic Programming, Compliance Verification, Business Process Management, Linear Temporal Logic, Abductive Logic Programming, Compliance Verification, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Linear Temporal Logic, Abductive Logic Programming, Compli- ance Verification, Business Process Management

Popis súboru: application/pdf

Prístupová URL adresa: http://ceur-ws.org/Vol-1459/paper8.pdf
http://ceur-ws.org/Vol-1459/paper8.pdf
https://hdl.handle.net/11392/2330745
https://content.iospress.com/articles/fundamenta-informaticae/fi1657
https://doi.org/10.3233/FI-2018-1657
https://hdl.handle.net/11392/2382513
https://hdl.handle.net/11585/541474
http://ceur-ws.org/Vol-1459/paper8.pdf

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

Extending expressivity and flexibility of abductive logic programming

Autori: Stefano Ferilli Ferilli, S.

Prispievatelia: Stefano Ferilli Ferilli, S.

Zdroj: Journal of Intelligent Information Systems. 51:647-672

Predmety: Constraints, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Abductive logic programming, Probability

Prístupová URL adresa: https://link.springer.com/article/10.1007/s10844-018-0531-6
https://rd.springer.com/content/pdf/10.1007%2Fs10844-018-0531-6.pdf
https://dblp.uni-trier.de/db/journals/jiis/jiis51.html#Ferilli18

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Autori: Bellodi E. Gavanelli M. Zese R. a ďalší

Zdroj: Theory and Practice of Logic Programming. 21:557-574

Predmety: FOS: Computer and information sciences, probabilistic IFF, integrity constraints, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, abduction, 02 engineering and technology, distribution semantics

Prístupová URL adresa: http://arxiv.org/pdf/2108.03033
http://arxiv.org/abs/2108.03033
https://dblp.uni-trier.de/db/journals/corr/corr2108.html#abs-2108-03033

Accountable Protocols in Abductive Logic Programming

Autori: Gavanelli, Marco Alberti, Marco Lamma, Evelina

Zdroj: ACM Transactions on Internet Technology. 18:1-20

Predmety: 0202 electrical engineering, electronic engineering, information engineering, Abductive logic programming, Accountability, SCIFF, Computer Networks and Communications, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://iris.unife.it/handle/11392/2388560
https://core.ac.uk/display/158821268
https://doi.org/10.1145/3107936
https://dblp.uni-trier.de/db/journals/toit/toit18.html#GavanelliAL18
https://dl.acm.org/doi/10.1145/3107936
https://hdl.handle.net/11392/2388560
https://dl.acm.org/doi/10.1145/3107936
https://doi.org/10.1145/3107936

Probabilistic abductive logic programming using Dirichlet priors

Autori: Turliuc, R Dickens, L Russo, AM a ďalší

Prispievatelia: Turliuc, R Dickens, L Russo, AM a ďalší

Zdroj: International Journal of Approximate Reasoning. 78:223-240

Predmety: Markov Chain Monte, Applied Mathematics, Statistics, Probabilistic programming, Latent Dirichlet allocation, 02 engineering and technology, 01 natural sciences, Artificial Intelligence And Image Processing, CarloLatent Dirichlet allocation, Theoretical Computer Science, Artificial Intelligence, 13. Climate action, 0202 electrical engineering, electronic engineering, information engineering, Artificial Intelligence & Image Processing, Markov Chain Monte Carlo, 0101 mathematics, Repeated insertion model, Numerical And Computational Mathematics, Software, Abductive logic programming

Prístupová URL adresa: http://hdl.handle.net/10044/1/34461
https://discovery-pp.ucl.ac.uk/id/eprint/1574556/

Towards the Generation of the 'Perfect' Log Using Abductive Logic Programming

Autori: Federico Chesani Chiara Di Francescomarino Chiara Ghidini a ďalší

Predmety: Synthetic Log Generation, Abductive Logic Programming, Declarative business process models, Process Mining

Popis súboru: application/pdf

Prístupová URL adresa: http://ceur-ws.org/Vol-2396/
https://hdl.handle.net/11572/362709
https://hdl.handle.net/11585/690914

Representing Incomplete Knowledge in Abductive Logic Programming: Representing incomplete knowledge in abductive logic programming

Autori: Denecker, Marc De Schreye, Danny Miller, D.

Prispievatelia: Denecker, Marc De Schreye, Danny Miller, D.

Zdroj: Journal of Logic and Computation. 5:553-577

Predmety: Technology, Science & Technology, Logic, 0102 computer and information sciences, 02 engineering and technology, 22 Philosophy and Religious Studies, Computer Science, Software Engineering, 46 Information and computing sciences, Logic programming, 01 natural sciences, Computation Theory & Mathematics, Computer Science, Theory & Methods, Knowledge representation, situation calculus, Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Science & Technology - Other Topics, 08 Information and Computing Sciences, uncertainty, abductive logic programming, 49 Mathematical sciences, 01 Mathematical Sciences, 50 Philosophy and religious studies

Popis súboru: application/xml

Prístupová URL adresa: https://lirias.kuleuven.be/bitstream/123456789/124402/1/1903.pdf
https://zbmath.org/802491
https://doi.org/10.1093/logcom/5.5.553
https://dblp.uni-trier.de/db/journals/logcom/logcom5.html#DeneckerS95
https://academic.oup.com/logcom/article/5/5/553/985257
https://doi.org/10.1093/logcom/5.5.553
http://core.ac.uk/display/34329136
https://lirias.kuleuven.be/handle/123456789/132974
https://lirias.kuleuven.be/handle/123456789/637238

Dr. Furukawa’s View in Using Abductive Logic Programming for Promoting Cognition

Autori: Masaki Suwa

Zdroj: New Generation Computing. 37:159-165

Predmety: 4. Education, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/ngc/ngc37.html#Suwa19
https://keio.pure.elsevier.com/ja/publications/dr-furukawas-view-in-using-abductive-logic-programming-for-promot
https://link.springer.com/article/10.1007/s00354-019-00056-0
https://doi.org/10.1007/s00354-019-00056-0

Verifiable agent interaction in abductive logic programming: The SCIFF framework

Autori: M. Alberti CHESANI, FEDERICO M. Gavanelli a ďalší

Zdroj: ACM Transactions on Computational Logic. 9:1-43

Predmety: 0202 electrical engineering, electronic engineering, information engineering, ABDUCTIVE LOGIC PROGRAMMING, PROOF-PROCEDURES, AGENT INTERACTION PROTOCOLS, SCIFF, SOCS, 02 engineering and technology, Abductive logic programming, IFF proof procedure, SOCS (SOcieties of ComputeeS), agent interaction protocols, declarative semantics, formal properties, proof-procedures

Prístupová URL adresa: https://dl.acm.org/doi/abs/10.1145/1380572.1380578
https://cris.unibo.it/handle/11585/45878
https://dblp.uni-trier.de/db/journals/tocl/tocl9.html#AlbertiCGLMT08
https://hdl.handle.net/11585/45878
https://doi.org/10.1145/1380572.1380578

Abductive logic programming and disjunctive logic programming: their relationship and transferability: Abductive logic programming and disjunctive logic programming: Their relationship and transferability

Autori: Katsumi Inoue Chiaki Sakama

Zdroj: The Journal of Logic Programming. 44:75-100

Predmety: Logic, Program transformation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, abductive logic programming, disjunctive logic programming, Logic programming, 01 natural sciences, Abductive logic programming, Disjunctive logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S0743106699000734
https://dblp.uni-trier.de/db/journals/jlp/jlp44.html#SakamaI00
https://www.sciencedirect.com/science/article/abs/pii/S0743106699000734

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Autori: MONTALI, MARCO TORRONI, PAOLO CHESANI, FEDERICO a ďalší

Zdroj: Fundamenta Informaticae. 102:325-361

Predmety: 0202 electrical engineering, electronic engineering, information engineering, Computational Logic, Abduction, Specification, Verification, 02 engineering and technology, BUSINESS PROCESSES, ABDUCTIVE LOGIC PROGRAMMING, VERIFICATION

Prístupová URL adresa: http://doi.org/10.3233/FI-2010-310
https://content.iospress.com/doi/10.3233/FI-2010-310
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS8-0010-0090
https://doi.org/10.3233/FI-2010-310
https://novaresearch.unl.pt/en/publications/abductive-logic-programming-as-an-effective-technology-for-the-st
https://dblp.uni-trier.de/db/journals/fuin/fuin102.html#MontaliTCMAL10
https://dl.acm.org/doi/10.5555/1890507.1890512

Reasoning on Datalog± Ontologies with Abductive Logic Programming

Autori: Marco Gavanelli Evelina Lamma Fabrizio Riguzzi a ďalší

Prispievatelia: Marco Gavanelli Evelina Lamma Fabrizio Riguzzi a ďalší

Zdroj: Fundamenta Informaticae. 159:65-93

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://content.iospress.com/articles/fundamenta-informaticae/fi1658
https://dblp.uni-trier.de/db/journals/fuin/fuin159.html#GavanelliLRBZC18
https://air.unipr.it/handle/11381/2870758
https://core.ac.uk/display/154267558

Nonground Abductive Logic Programming with Probabilistic Integrity Constraints

Autori: Bellodi, Elena Gavanelli, Marco Zese, Riccardo a ďalší

Témy: Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2108.03033

Special issue: abductive logic programming: Special issue: Abductive logic programming

Autori: Marc Denecker Antonis C. Kakas

Zdroj: The Journal of Logic Programming. 44:1-4

Predmety: Collections of articles of miscellaneous specific interest, Logic, 0202 electrical engineering, electronic engineering, information engineering, Special issue, Proceedings, conferences, collections, etc. pertaining to computer science, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Abductive logic programming

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/jlp/jlp44.html#DeneckerK00
https://www.sciencedirect.com/science/article/pii/S0743106699000783
https://www.sciencedirect.com/science/article/abs/pii/S0743106699000783

Accountable protocols in abductive logic programming (extended abstract)

Autori: Gavanelli M. Alberti M. Lamma E.

Popis súboru: application/pdf

Prístupová URL adresa: https://hdl.handle.net/11392/2439178
http://eptcs.web.cse.unsw.edu.au/content.cgi?ICLP2020

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

Autori: M. Alberti M. Cattafi CHESANI, FEDERICO a ďalší

Zdroj: 2009 IEEE International Conference on Web Services. :254-261

Predmety: Services Composition, Principles of Services, Service-Oriented Architecture, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice

Prístupová URL adresa: http://www.inf.unibz.it/%7Emontali/papers/alberti-etal-ICWS2009-contracting.pdf
https://novaresearch.unl.pt/en/publications/integrating-abductive-logic-programming-and-description-logics-in
https://www.inf.unibz.it/~montali/papers/alberti-etal-ICWS2009-contracting.pdf
https://ieeexplore.ieee.org/document/5175831/
https://cris.unibo.it/handle/11585/79314
http://ieeexplore.ieee.org/document/5175831/
https://bia.unibz.it/handle/10863/1554
https://hdl.handle.net/11392/534989
https://doi.org/10.1109/ICWS.2009.78
https://hdl.handle.net/11585/79314