Suchergebnisse - logic programming general terms algorithms keywords answer ((siehe OR siete) OR site) programming*

Open Educational Resource for Studying Algorithms and Programming Logic: An Approach to the Technical Level Integrated with Secondary School.

Autoren: PEREIRA, Diego E. F. SEABRA, Rodrigo D.

Quelle: Informatics in Education; Sep2023, Vol. 22 Issue 3, p441-462, 22p

Schlagwörter: LOGIC programming, OPEN educational resources, SECONDARY schools, ALGORITHMS, TECHNICAL education, STUDENT development, TEACHING models

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification.

Autoren: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

Quelle: Theory & Practice of Logic Programming; Sep2024, Vol. 24 Issue 5, p1011-1030, 20p

Schlagwörter: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.

Autoren: QURESHI, HAYA MAJID FABER, WOLFGANG

Quelle: Theory & Practice of Logic Programming; Mar2024, Vol. 24 Issue 2, p368-393, 26p

Schlagwörter: DESCRIPTION logics, KNOWLEDGE base, LOGIC programming, OWLS, INFORMATION storage & retrieval systems

The distribution semantics in probabilistic logic programming and probabilistic description logics: a survey.

Autoren: Bellodi, Elena

Quelle: Intelligenza Artificiale; 2023, Vol. 17 Issue 1, p143-156, 14p

Schlagwörter: DESCRIPTION logics, LOGIC programming, SEMANTICS (Philosophy), MACHINE learning, WEB-based user interfaces, SEMANTICS

Declarative Programming with Intensional Sets in Java Using JSetL.

Autoren: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

Quelle: Computer Journal; Mar2023, Vol. 66 Issue 3, p763-784, 22p

Schlagwörter: JAVA programming language, LOGIC programming, FIRST-order logic

Answer Set Planning: A Survey.

Autoren: CAO TRAN, SON PONTELLI, ENRICO BALDUCCINI, MARCELLO et al.

Quelle: Theory & Practice of Logic Programming; Jan2023, Vol. 23 Issue 1, p226-298, 73p

Schlagwörter: KNOWLEDGE representation (Information theory), LOGIC programming

Learning hierarchical probabilistic logic programs.

Autoren: Nguembang Fadja, Arnaud Riguzzi, Fabrizio Lamma, Evelina

Quelle: Machine Learning; Jul2021, Vol. 110 Issue 7, p1637-1693, 57p

Schlagwörter: NEURAL circuitry, LOGIC programming, LOGIC, PARAMETER estimation, ALGORITHMS

Fifty Years of Prolog and Beyond.

Autoren: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

Quelle: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Schlagwörter: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

AI IS TRANSFORMING EDUCATION TECHNOLOGY AND EDUCATION SYSTEM IN INDIA.

Autoren: Kamala, Kandi Kamalakar, Gedam

Quelle: Indian Journal of Social Research; May-Aug2023, Vol. 64 Issue 3/4, p99-110, 12p

Schlagwörter: DECISION making in political science, ARTIFICIAL intelligence, TECHNOLOGY education, LOGIC programming, INDUSTRIAL relations

Geografische Kategorien: INDIA

Bayesian estimation in veterinary pharmacology: A conceptual and practical introduction.

Autoren: Woodward, Andrew P.¹ (AUTHOR) andrew.woodward@canberra.edu.au

Quelle: Journal of Veterinary Pharmacology & Therapeutics. Jul2024, Vol. 47 Issue 4, p322-352. 31p.

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper).

Autoren: DODARO, CARMINE GASTEIGER, PHILIP LEONE, NICOLA et al.

Quelle: Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p653-669, 17p

Schlagwörter: LOGIC programming, HEURISTIC algorithms, INDUSTRIAL applications, PROBLEM solving, COMPUTER interfaces

Firma/Körperschaft: SIEMENS AG

Terminating Evaluation of Logic Programs with Finite Three-Valued Models.

Autoren: RIGUZZI, FABRIZIO SWIFT, TERRANCE

Quelle: ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-38, 38p

Schlagwörter: LOGIC programming, MATHEMATICAL models, MATHEMATICAL functions, SEARCH algorithms, MATHEMATICAL programming

Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Autoren: Ilya Sergey

Resource Type: eBook.

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

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Programming / General, COMPUTERS / Hardware / General

Towards a Logic Programming Tool for Cancer Data Analysis.

Autoren: Tarzariol, Alice Zanazzo, Eugenia Dovier, Agostino et al.

Quelle: Fundamenta Informaticae; 2020, Vol. 176 Issue 3/4, p299-319, 21p

Schlagwörter: LOGIC programming, DATA analysis, INDUCTION (Logic), MEDICAL databases, ACQUISITION of data

Logic and Logic Programming.

Autoren: Robinson, J. A.

Quelle: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p40-65, 22p

Schlagwörter: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

Pro TBB : C++ Parallel Programming with Threading Building Blocks

Autoren: Michael Voss Rafael Asenjo James Reinders

Resource Type: eBook.

Schlagworte: Computer science, Computer software, Data structures (Computer science)

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Foundations of Software Science and Computation Structures

Autoren: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Schlagworte: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Lifted discriminative learning of probabilistic logic programs.

Autoren: Nguembang Fadja, Arnaud Riguzzi, Fabrizio

Quelle: Machine Learning; Jul2019, Vol. 108 Issue 7, p1111-1135, 25p

Schlagwörter: LOGIC programming, STATISTICAL learning, ALGORITHMS, MACHINE learning, INDUCTIVE logic programming

First Specialize Then generalize.

Autoren: Cohen, Jacques

Quelle: Communications of the ACM; Mar1992, Vol. 35 Issue 3, p34-39, 6p

Schlagwörter: LOGIC programming, PARALLEL processing, PROGRAMMING languages, COMPUTER architecture, PROLOG (Computer program language), COMPUTATIONAL linguistics, INFORMATION theory

CLP(H): Constraint logic programming for hedges.

Autoren: DUNDUA, BESIK FLORIDO, MÁRIO KUTSIA, TEMUR et al.

Quelle: Theory & Practice of Logic Programming; Mar2016, Vol. 16 Issue 2, p141-162, 22p

Schlagwörter: LOGIC programming, CONSTRAINT programming, HEDGE (Linguistics), ALGEBRAIC coding theory, SEMANTICS research