Search Results - Logic programming and answer site programming

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

Authors: Dietz, Emmanuelle Philipp, Tobias Schramm, Gerrit et al.

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

Subject Terms: 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)

Access URL: http://arxiv.org/abs/2308.15892

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

Authors: GOTTLOB, GEORG INCLEZAN, DANIELA MARATEA, MARCO

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

Subject Terms: NONMONOTONIC logic, LOGIC programming, DATABASES, KNOWLEDGE representation (Information theory), SOFTWARE engineering, PAYROLL software

Answer Set Planning: A Survey.

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

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

Subject Terms: KNOWLEDGE representation (Information theory), LOGIC programming

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

Authors: MILLER, DALE

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

Subject Terms: LOGIC programming, PROOF theory, FIRST-order logic, PROGRAMMING languages

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

Authors: QURESHI, HAYA MAJID FABER, WOLFGANG

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

Subject Terms: 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.

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

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

Subject Terms: 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.

Authors: Bellodi, Elena

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

Subject Terms: 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.

Authors: CRISTIÁ, MAXIMILIANO ROSSI, GIANFRANCO

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

Subject Terms: SOFTWARE verification, CONSTRAINT programming, LOGIC programming, SET theory, PROGRAMMING languages

Towards a Logic Programming Tool for Cancer Data Analysis.

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

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

Subject Terms: LOGIC programming, DATA analysis, INDUCTION (Logic), MEDICAL databases, ACQUISITION of data

Mathematical Aspects of Logic Programming Semantics

Authors: Pascal Hitzler Anthony Seda

Resource Type: eBook.

Subjects: 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.

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

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

Subject Terms: JAVA programming language, LOGIC programming, FIRST-order logic

Programming Creativity : Semantics and Organisation of Creativity Within IT Enterprises

Authors: Jan Sebastian Zipp

Resource Type: eBook.

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

Authors: Patricia M. Hill David S. Warren

Resource Type: eBook.

Subjects: 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.

Authors: ALVIANO, MARIO PIERIS, ANDREAS

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

Subject Terms: LOGIC programming, NONMONOTONIC logic, FORMAL languages, POLYNOMIAL time algorithms, NATURAL languages

Reasoning on Datalog^± Ontologies with Abductive Logic Programming.

Authors: Gavanelli, Marco Lamma, Evelina Riguzzi, Fabrizio et al.

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

Subject Terms: LOGIC programming, DATALOG (Computer program language), ONTOLOGIES (Information retrieval), CONSTRAINT satisfaction, COMPUTATIONAL complexity

Logic and Logic Programming.

Authors: Robinson, J. A.

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

Subject Terms: 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).

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

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

Subject Terms: LOGIC programming, HEURISTIC algorithms, INDUSTRIAL applications, PROBLEM solving, COMPUTER interfaces

Company/Entity: SIEMENS AG

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

Authors: Mahout, Maxime Carlson, Ross P. Simon, Laurent et al.

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

Subject Terms: 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.

Authors: Connor, Zoe L. Atkinson, Lou Bryant-Waugh, Rachel et al.

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

Subject Terms: AUTISTIC children, PATIENT participation, QUALITY of life, PARENTS, LOGIC programming

GASP: Answer Set Programming with Lazy Grounding.

Authors: Palù, Alessandro Dal Dovier, Agostino Pontelli, Enrico et al.

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

Subject Terms: GASP (Computer program language), LOGIC programming, SET theory, COMPUTER programming, MONOTONIC functions