Výsledky vyhledávání - logic programming and answer site programming~

A Logic Programming Approach to Global Logistics in a Co-Design Environment

Autoři: Dietz, Emmanuelle Philipp, Tobias Schramm, Gerrit a další

Zdroj: Electronic Proceedings in Theoretical Computer Science. 385:227-240

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, Databases (cs.DB), Logic in Computer Science (cs.LO)

Přístupová URL adresa: http://arxiv.org/abs/2308.15892

Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning.

Autoři: GOTTLOB, GEORG INCLEZAN, DANIELA MARATEA, MARCO

Zdroj: Theory & Practice of Logic Programming; May2024, Vol. 24 Issue 3, p422-424, 3p

Témata: NONMONOTONIC logic, LOGIC programming, DATABASES, KNOWLEDGE representation (Information theory), SOFTWARE engineering, PAYROLL software

Answer Set Planning: A Survey.

Autoři: CAO TRAN, SON PONTELLI, ENRICO BALDUCCINI, MARCELLO a další

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

Témata: KNOWLEDGE representation (Information theory), LOGIC programming

A Survey of the Proof-Theoretic Foundations of Logic Programming.

Autoři: MILLER, DALE

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p859-904, 46p

Témata: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

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

Autoři: QURESHI, HAYA MAJID FABER, WOLFGANG

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

Témata: DESCRIPTION logics, KNOWLEDGE base, LOGIC programming, OWLS, INFORMATION storage & retrieval systems

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

Autoři: PEREIRA, Diego E. F. SEABRA, Rodrigo D.

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

Témata: LOGIC programming, OPEN educational resources, SECONDARY schools, ALGORITHMS, TECHNICAL education, STUDENT development, TEACHING models

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

Autoři: Bellodi, Elena

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

Témata: DESCRIPTION logics, LOGIC programming, SEMANTICS (Philosophy), MACHINE learning, WEB-based user interfaces, SEMANTICS

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

Autoři: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

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

Témata: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages

Towards a Logic Programming Tool for Cancer Data Analysis.

Autoři: Tarzariol, Alice Zanazzo, Eugenia Dovier, Agostino a další

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

Témata: LOGIC programming, DATA analysis, INDUCTION (Logic), MEDICAL databases, ACQUISITION of data

Mathematical Aspects of Logic Programming Semantics

Autoři: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Témata: Logic programming, Programming languages (Electronic computers)--Semantics

Categories: COMPUTERS / Programming / Games, COMPUTERS / Information Theory, COMPUTERS / Machine Theory, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, MATHEMATICS / General, MATHEMATICS / Algebra / General, MATHEMATICS / History & Philosophy

Declarative Programming with Intensional Sets in Java Using JSetL.

Autoři: Cristiá, Maximiliano Fois, Andrea Rossi, Gianfranco

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

Témata: JAVA programming language, LOGIC programming, FIRST-order logic

Programming Creativity : Semantics and Organisation of Creativity Within IT Enterprises

Autoři: Jan Sebastian Zipp

Resource Type: eBook.

Témata: Creative ability in business, Information technology--Philosophy, Information technology--Technological innovations, Communication--Technological innovations

Categories: SOCIAL SCIENCE / Popular Culture, BUSINESS & ECONOMICS / Industries / Computers & Information Technology, SOCIAL SCIENCE / Technology Studies

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Autoři: Patricia M. Hill David S. Warren

Resource Type: eBook.

Témata: Computer science, Compilers (Computer programs), Computer programming, Computer science—Mathematics, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, MATHEMATICS / Applied

Selected Papers from Datalog 2.0 2022.

Autoři: ALVIANO, MARIO PIERIS, ANDREAS

Zdroj: Theory & Practice of Logic Programming; Mar2024, Vol. 24 Issue 2, p193-195, 3p

Témata: LOGIC programming, NONMONOTONIC logic, FORMAL languages, POLYNOMIAL time algorithms, NATURAL languages

Reasoning on Datalog^± Ontologies with Abductive Logic Programming.

Autoři: Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio a další

Zdroj: Fundamenta Informaticae; 2018, Vol. 159 Issue 1-2, p65-93, 29p

Témata: LOGIC programming, DATALOG (Computer program language), ONTOLOGIES (Information retrieval), CONSTRAINT satisfaction, COMPUTATIONAL complexity

Logic and Logic Programming.

Autoři: Robinson, J. A.

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

Témata: LOGIC programming, PARALLEL programming, LOGICAL positivism, PREDICATE calculus, MATHEMATICAL logic, COMPUTATIONAL intelligence

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

Autoři: DODARO, CARMINE GASTEIGER, PHILIP LEONE, NICOLA a další

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

Témata: LOGIC programming, HEURISTIC algorithms, INDUSTRIAL applications, PROBLEM solving, COMPUTER interfaces

Korporace: SIEMENS AG

Logic programming-based Minimal Cut Sets reveal consortium-level therapeutic targets for chronic wound infections.

Autoři: Mahout, Maxime Carlson, Ross P. Simon, Laurent a další

Zdroj: NPJ Systems Biology & Applications; 4/2/2024, Vol. 10 Issue 1, p1-13, 13p

Témata: CHRONIC wounds & injuries, DRUG target, WOUND infections, WOUND healing, PENTOSE phosphate pathway, CELL physiology, MICROCOCCACEAE

Development of a toolkit to help parents/caregivers manage feeding problems in autistic children: A protocol for a realist synthesis and toolkit co-design.

Autoři: Connor, Zoe L. Atkinson, Lou Bryant-Waugh, Rachel a další

Zdroj: PLoS ONE; 10/16/2024, Vol. 19 Issue 10, p1-12, 12p

Témata: AUTISTIC children, PATIENT participation, QUALITY of life, PARENTS, LOGIC programming

GASP: Answer Set Programming with Lazy Grounding.

Autoři: Palù, Alessandro Dal Dovier, Agostino Pontelli, Enrico a další

Zdroj: Fundamenta Informaticae; 2009, Vol. 96 Issue 3, p297-322, 26p, 4 Diagrams, 2 Charts

Témata: GASP (Computer program language), LOGIC programming, SET theory, COMPUTER programming, MONOTONIC functions