Výsledky vyhľadávania - "Abductive Logic Programming"
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Docta Complutense
instnamePredmety: 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
-
2
Autori:
Prispievatelia:
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
-
3
Autori: 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 -
4
Autori: 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
-
5
Autori:
Prispievatelia:
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
-
6
Autori: 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
-
7
Autori:
Prispievatelia:
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
-
8
Autori: a ďalší
Prispievatelia: 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 -
9
Autori:
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 -
10
Autori: a ďalší
Prispievatelia: 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/ -
11
Autori: a ďalší
Predmety: Synthetic Log Generation, Abductive Logic Programming, Declarative business process models, Process Mining
Popis súboru: application/pdf
-
12
Autori: 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
-
13
Autori: 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 -
14
Autori:
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
-
15
Autori: 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 -
16
Autori: 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 -
17
Autori:
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
-
18
Autori: a ďalší
Prispievatelia: 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
-
19
Autori: a ďalší
Prispievatelia: 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
-
20
Autori:
Prispievatelia:
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
Full Text Finder
Nájsť tento článok vo Web of Science