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

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

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

Dischargeable Obligations in the 𝒮CIFF Framework

Autori: Alberti M. Gavanelli M. Lamma E. a ďalší

Zdroj: Fundamenta Informaticae. 176:321-348

Predmety: Abductive Logic Programming, Constraint Logic Programming, Dischargement of expectations, Normative reasoning, 0102 computer and information sciences, 16. Peace & justice, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: https://content.iospress.com/articles/fundamenta-informaticae/fi1976
https://content.iospress.com/articles/fundamenta-informaticae/fi1976
https://doi.org/10.3233/FI-2020-1976
https://hdl.handle.net/11392/2431362

Compliance Check of Norms for Algorithmic Law

Autori: Satoh, Ken National Institute of Informatics (NII) Fondation France-Japon de l'EHESS, Air Liquide

Prispievatelia: Satoh, Ken National Institute of Informatics (NII) Fondation France-Japon de l'EHESS, Air Liquide

Zdroj: https://hal.science/hal-04227440 ; 2023.

Predmety: Algorithmic Law, Compliance Check, Norm, White box Approach, Abductive Logic Programming, Black box Approach, Case-based Generalization, [SHS]Humanities and Social Sciences

Relation: hal-04227440; https://hal.science/hal-04227440; https://hal.science/hal-04227440/document; https://hal.science/hal-04227440/file/FFJDP-23-05.pdf

Dostupnosť: https://hal.science/hal-04227440
https://hal.science/hal-04227440/document
https://hal.science/hal-04227440/file/FFJDP-23-05.pdf

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

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

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning*

Autori: Chesani, Federico Mello, Paola De Masellis, Riccardo a ďalší

Prispievatelia: Chesani, Federico Mello, Paola De Masellis, Riccardo a ďalší

Zdroj: Fundamenta Informaticae. 161:75-111

Predmety: Business Processes, Incomplete traces, Observability, Temporal workflows, Abductive Logic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: https://cris.unibo.it/bitstream/11585/636688/4/fi2016.pdf
https://unibz-researchportal-psb.esploro.exlibrisgroup.com/esploro/outputs/journalArticle/Compliance-in-business-processes-with-incomplete/991005772276501241?institution=39UBZ_INST
https://dblp.uni-trier.de/db/journals/fuin/fuin161.html#ChesaniMMFGMT18
https://cris.unibo.it/handle/11585/636688
https://content.iospress.com/articles/fundamenta-informaticae/fi1696
https://hdl.handle.net/11585/636688
https://doi.org/10.3233/FI-2018-1696
https://content.iospress.com/articles/fundamenta-informaticae/fi1696

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

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

Abducing Compliance of Incomplete Event Logs

Autori: CHESANI, FEDERICO Masellis, Riccardo De Francescomarino, Chiara Di a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783319491295

Predmety: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Abductive logic programming, Compliance in business process, Formal verification, Incompleteness in business processes, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Abductive logic programming Formal verification Compliance in business process Incompleteness in business processes

Prístupová URL adresa: http://arxiv.org/pdf/1606.05446
http://arxiv.org/abs/1606.05446
https://dblp.uni-trier.de/db/conf/aiia/aiia2016.html#ChesaniMFGMMT16
http://ui.adsabs.harvard.edu/abs/2016arXiv160605446C/abstract
https://link.springer.com/chapter/10.1007/978-3-319-49130-1_16
https://cris.unibo.it/handle/11585/574135
https://dblp.uni-trier.de/db/journals/corr/corr1606.html#ChesaniMFGMMT16
https://rd.springer.com/chapter/10.1007/978-3-319-49130-1_16
https://hdl.handle.net/11572/362624
https://doi.org/10.1007/978-3-319-49130-1_16
https://link.springer.com/chapter/10.1007/978-3-319-49130-1_16

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

A Computational Logic Application Framework for Service Discovery and Contracting

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

Zdroj: International Journal of Web Services Research. 8:1-25

Predmety: Abductive Logic Programming, Analysis, Contracting, Interoperability, Proof Procedure, Rules, Semantic Discovery, Web Services, WEB SERVICES, SCIFF REASONING ENGINE, SEMANTIC TECHNOLOGIES, COMPUTATIONAL LOGIC, SERVICE DISCOVERY AND CONTRACTING, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/jwsr/jwsr8.html#AlbertiCCGLMMT11
https://www.igi-global.com/article/computational-logic-application-framework-service/58975
https://EconPapers.repec.org/RePEc:igg:jwsr00:v:8:y:2011:i:3:p:1-25
https://dl.acm.org/doi/10.4018/jwsr.2011070101
https://www.igi-global.com/article/null/58975

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

Abductive Reasoning on Compliance Monitoring: Balancing Flexibility and Regulation

Autori: CHESANI, FEDERICO MELLO, PAOLA MONTALI, MARCO

Zdroj: Lecture Notes in Computer Science ISBN: 9783319604374

Predmety: 9. Industry and infrastructure, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 16. Peace & justice, 10. No inequality, Compliance Monitoring, Abductive Logic Programming, Business Process Management, Multi-Agent Systems, 3. Good health

Prístupová URL adresa: https://link.springer.com/chapter/10.1007/978-3-319-60438-1_1
https://rd.springer.com/chapter/10.1007%2F978-3-319-60438-1_1
https://cris.unibo.it/handle/11585/604892
https://dblp.uni-trier.de/db/conf/ismis/ismis2017.html#ChesaniMM17

Evaluating compliance: from LTL to abductive logic programming

Autori: Montali, Marco Chesani, Federico GAVANELLI, Marco a ďalší

Prispievatelia: Montali, Marco Chesani, Federico GAVANELLI, Marco a ďalší

Predmety: Linear Temporal Logic, Abductive Logic Programming, Compliance Verification, Business Process Management

Popis súboru: ELETTRONICO

Relation: ispartofbook:CILC 2015 Italian Conference on Computational Logic - Proceedings of the 30th Italian Conference on Computational Logic, Genova, Italy, July 1-3, 2015.; CILC 2015 30° Convegno Italiano di Logica Computazionale; volume:1459; firstpage:101; lastpage:116; numberofpages:16; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Davide Ancona, Marco Maratea, Viviana Mascardi; http://hdl.handle.net/11392/2330745

Dostupnosť: http://hdl.handle.net/11392/2330745
http://ceur-ws.org/Vol-1459/paper8.pdf
http://ceur-ws.org/Vol-1459/

An Abductive Framework for Datalog± Ontologies

Autori: GAVANELLI, Marco LAMMA, Evelina RIGUZZI, Fabrizio a ďalší

Prispievatelia: GAVANELLI, Marco LAMMA, Evelina RIGUZZI, Fabrizio a ďalší

Predmety: Abductive Logic Programming, Datalog, Description Logics, Semantic Web

Popis súboru: ELETTRONICO

Relation: ispartofbook:Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015); 31st International Conference on Logic Programming (ICLP 2015); volume:1433; firstpage:1; lastpage:13; numberofpages:13; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Marina De Vos; Thomas Eiter; Yuliya Lierler; Francesca Toni; http://hdl.handle.net/11392/2330743

Dostupnosť: http://hdl.handle.net/11392/2330743
http://ceur-ws.org/Vol-1433/
http://ceur-ws.org/Vol-1433/tc_89.pdf

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