Suchergebnisse - Abstract Interpretation 1. MODULAR LOGIC PROGRAMMING~

Treffer weiter einschränken
  1. 1

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

    Autoren: CICCALÈ, MARCO JURJO-RIVAS, DANIEL MORALES, JOSE F. et al.

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

    Schlagwörter: 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
    Zu den Favoriten
  2. 2

    Modular Constraint Solver Cooperation via Abstract Interpretation.

    Autoren: TALBOT, PIERRE MONFROY, ÉRIC TRUCHET, CHARLOTTE

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

    Schlagwörter: PRODUCTION scheduling, MODULAR construction, GOAL programming, LOGIC programming, COOPERATION, THEORY of constraints

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Optimizing Modular Logic Languages

    Autoren: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

    Weitere Verfasser: Michele Bugliesi Anna Ciampolini Evelina Lamma et al.

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

    Schlagwörter: 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

    Dateibeschreibung: 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

    Verfügbarkeit: 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
    Zu den Favoriten
  4. 4

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

    Autoren: ARIAS, JOAQUÍN CARRO, MANUEL

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

    Schlagwörter: LOGIC programming, LOGIC circuits, CONSTRAINT programming, ALGORITHMS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    AUGS 46th Annual Scientific Meeting.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Abstract interpretation of Michelson smart-contracts

    Autoren: Bau, Guillaume Miné, Antoine Botbol, Vincent et al.

    Index Begriffe: 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
    Zu den Favoriten
  7. 7

    Abstract interpretation of temporal concurrent constraint programs.

    Autoren: FALASCHI, MORENO OLARTE, CARLOS PALAMIDESSI, CATUSCIA

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

    Schlagwörter: CONSTRAINT programming, COMPUTER security, DENOTATIONAL semantics, DATA flow computing, DEBUGGING, LOGIC programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

    Compositional analysis of modular logic programs

    Autoren: Michael Codish Saumya K. Debray GIACOBAZZI, Roberto

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

    Schlagwörter: 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

    Zugangs-URL: 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
    Zu den Favoriten
  9. 9

    Temporal reasoning in a logic programming language with modularity

    Autoren: Nogueira, Vitor Beires

    Schlagwörter: Temporal reasoning in AI, Model of time, Temporal databases, Modular logic programming

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

    Verfügbarkeit: http://hdl.handle.net/10174/11138

    View record in RCAAP Nájsť tento článok vo Web of Science
    Zu den Favoriten
  10. 10

    A Polymorphic Type Dependency Analysis for Logic Programs.

    Autoren: Lu, Lunjin

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

    Schlagwörter: LOGIC programming, INFERENCE (Logic), PREDICATE (Logic), FORMAL language semantics, ARTIFICIAL intelligence, HERMENEUTICS

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Experimenting with Neurosymbolic Artificial Intelligence for Defending Against Cyber Attacks.

    Autoren: Eckhoff, Magnus Wiik Halvorsen, Jonas Hansen, Bjørn Jervell et al.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    Best Abstracts.

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

    Schlagwörter: 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
    Zu den Favoriten
  13. 13

    Quantifying artificial intelligence through algorithmic generalization.

    Autoren: Ito, Takuya Campbell, Murray Horesh, Lior et al.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

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

    Autoren: Praile, Jason Rey M. Baradillo, Danillo G.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

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

    Autoren: Li, Shenglin Erickson, Caleb Zajac, Michal et al.

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

    Schlagwörter: 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
    Zu den Favoriten
  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

    Autoren: Stephanie Weirich

    Resource Type: eBook.

    Schlagworte: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

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

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  17. 17

    Verification, Model Checking, and Abstract Interpretation

    Autoren: Krishna Shankaranarayanan Sriram Sankaranarayanan Ashutosh Trivedi

    Resource Type: eBook.

    Schlagworte: 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

    Zu den Favoriten
  18. 18

    Pluralist neurophenomenology: a reply to Lopes.

    Autoren: Yoshimi, Jeff

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

    Schlagwörter: 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
    Zu den Favoriten
  19. 19

    Abductive Analysis of Modular Logic Programs.

    Autoren: GIACOBAZZI, ROBERTO

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

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

    Autoren: de Boer, Maaike Smit, Quirine van Bekkum, Michael et al.

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

    Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: