Výsledky vyhledávání - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

Upřesnit hledání
  1. 1

    Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.

    Autoři: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. a další

    Zdroj: Theory & Practice of Logic Programming; Jul2025, Vol. 25 Issue 4, p612-630, 19p

    Témata: LOGIC programming, SOFTWARE verification, PREDICATE calculus, ASSERTIONS (Logic), FORMAL methods (Computer science), FUNCTIONAL programming (Computer science)

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  2. 2

    Modular Constraint Solver Cooperation via Abstract Interpretation.

    Autoři: TALBOT, PIERRE MONFROY, ÉRIC TRUCHET, CHARLOTTE

    Zdroj: Theory & Practice of Logic Programming; Nov2020, Vol. 20 Issue 6, p848-863, 16p

    Témata: PRODUCTION scheduling, MODULAR construction, GOAL programming, LOGIC programming, COOPERATION, THEORY of constraints

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Optimizing Modular Logic Languages

    Autoři: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

    Přispěvatelé: Michele Bugliesi Anna Ciampolini Evelina Lamma a další

    Zdroj: http://www.dsi.unive.it/~michele/Papers/cs98.pdf.

    Témata: Categories and Subject Descriptors, D.1.6 [Programming Techniques, Logic Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Program Transformation Additional Key Words and Phrases, Partial Deduction, Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199; http://www.dsi.unive.it/~michele/Papers/cs98.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.199
    http://www.dsi.unive.it/~michele/Papers/cs98.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  4. 4

    Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.

    Autoři: ARIAS, JOAQUÍN CARRO, MANUEL

    Zdroj: Theory & Practice of Logic Programming; Sep2019, Vol. 19 Issue 5/6, p1107-1123, 17p

    Témata: LOGIC programming, LOGIC circuits, CONSTRAINT programming, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  5. 5

    AUGS 46th Annual Scientific Meeting.

    Zdroj: Urogynecology; 2025Supplement, Vol. 31, pS1-S542, 542p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  6. 6

    Abstract interpretation of Michelson smart-contracts

    Autoři: Bau, Guillaume Miné, Antoine Botbol, Vincent a další

    Témata: Computer Science - Cryptography and Security, Computer Science - Programming Languages, Computer Science - Software Engineering, text

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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  7. 7

    Abstract interpretation of temporal concurrent constraint programs.

    Autoři: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

    Zdroj: Theory & Practice of Logic Programming; May2015, Vol. 15 Issue 3, p312-357, 46p

    Témata: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  8. 8

    Compositional analysis of modular logic programs

    Autoři: Michael Codish Saumya K. Debray GIACOBAZZI, Roberto

    Zdroj: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93. :451-464

    Témata: Semantics, logic programs analysis, abstract interpretation, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

    Přístupová URL adresa: https://arizona.pure.elsevier.com/en/publications/compositional-analysis-of-modular-logic-programs
    https://iris.univr.it/handle/11562/438156
    https://dl.acm.org/doi/10.1145/158511.158703
    https://core.ac.uk/display/24278174
    http://portal.acm.org/citation.cfm?doid=158511.158703
    https://dblp.uni-trier.de/db/conf/popl/popl93.html#CodishDG93
    https://hdl.handle.net/11562/438156

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Temporal reasoning in a logic programming language with modularity

    Autoři: Nogueira, Vitor Beires

    Témata: Temporal reasoning in AI, Model of time, Temporal databases, Modular logic programming

    Relation: dep. ECT; vbn@uevora.pt; 283

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

    View record in RCAAP Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    A Polymorphic Type Dependency Analysis for Logic Programs.

    Autoři: Lu, Lunjin

    Zdroj: New Generation Computing; Oct2011, Vol. 29 Issue 4, p409-444, 36p

    Témata: LOGIC programming, INFERENCE (Logic), PREDICATE (Logic), FORMAL language semantics, ARTIFICIAL intelligence, HERMENEUTICS

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

    Autoři: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell a další

    Zdroj: Neurosymbolic Artificial Intelligence; 10/08/2025, Vol. 1, p1-34, 34p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Best Abstracts.

    Zdroj: Intensive Care Medicine Experimental; 10/3/2024, Vol. 12 Issue 1, p1-858, 858p

    Témata: LANGUAGE models, EXPERIMENTAL medicine, MEDICAL sciences, CORONARY artery bypass, HYPERTHERMIC intraperitoneal chemotherapy, SMALL interfering RNA

    Full Text Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    Quantifying artificial intelligence through algorithmic generalization.

    Autoři: Ito, Takuya Campbell, Murray Horesh, Lior a další

    Zdroj: Nature Machine Intelligence; Aug2025, Vol. 7 Issue 8, p1195-1205, 11p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Technical Writing in Filipino Among Grade 10 Students: A PLS-Structural Equation Model.

    Autoři: Praile, Jason Rey M. Baradillo, Danillo G.

    Zdroj: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 48 Issue 4, p487-518, 32p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    A Semi-Automated Framework for Flood Ontology Construction with an Application in Risk Communication.

    Autoři: Li, Shenglin Erickson, Caleb Zajac, Michal a další

    Zdroj: Water (20734441); Oct2025, Vol. 17 Issue 19, p2801, 31p

    Témata: FLOODS, RISK communication, ONTOLOGY, LANGUAGE models, COMMUNITY involvement, EMERGENCY communication systems, AUTOMATION software

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  16. 16

    Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

    Autoři: Stephanie Weirich

    Resource Type: eBook.

    Témata: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

    Categories: COMPUTERS / Languages / General, COMPUTERS / Programming / Compilers

    Plný text ve formátu PDF Plný text ve formátu ePub
    Přidat do oblíbených
  17. 17

    Verification, Model Checking, and Abstract Interpretation

    Autoři: Krishna Shankaranarayanan Sriram Sankaranarayanan Ashutosh Trivedi

    Resource Type: eBook.

    Témata: Logic programming, Computer science--Mathematics, Computer science, Computers, Special purpose, Software engineering

    Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Applied

    Přidat do oblíbených
  18. 18

    Pluralist neurophenomenology: a reply to Lopes.

    Autoři: Yoshimi, Jeff

    Zdroj: Phenomenology & the Cognitive Sciences; Sep2025, Vol. 24 Issue 4, p897-920, 24p

    Témata: PLURALISM, CONSCIOUSNESS, PARADIGMS (Social sciences), ARTIFICIAL neural networks, PHENOMENOLOGY, DYNAMICAL systems, COGNITIVE science, PHENOMENOLOGICAL psychology

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  19. 19

    Abductive Analysis of Modular Logic Programs.

    Autoři: GIACOBAZZI, ROBERTO

    Zdroj: Journal of Logic & Computation; Aug1998, Vol. 8 Issue 4, p457-483, 27p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  20. 20

    Design Patterns for Large Language Model Based Neuro-Symbolic Systems.

    Autoři: de Boer, Maaike Smit, Quirine van Bekkum, Michael a další

    Zdroj: Neurosymbolic Artificial Intelligence; 9/29/2025, Vol. 1, p1-20, 20p

    Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: