Image de couverture de livre

The Stable Model Semantics for Higher-Order Logic Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bogaerts, Bart, Charalambidis, Angelos, Chatziagapis, Giannos, Kostopoulos, Babis, Pollaci, Samuele, Rondogiannis, Panos
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science Artificial Intelligence Programming Languages I.2.3; I.2.5; F.3.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
par: Charalambidis, Angelos, et autres
Publié: (2026)

Executable First-Order Queries in the Logic of Information Flows
par: Aamer, Heba, et autres
Publié: (2022)

Definite Descriptions and Hybrid Tense Logic
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

From Time to Space: The Impact of Linearity in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2026)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
par: Wang, Changjie, et autres
Publié: (2025)

Stalnaker's Epistemic Logic in Isabelle/HOL
par: Guzman, Laura P. Gamboa, et autres
Publié: (2024)

Optimistic Higher-Order Superposition
par: Bentkamp, Alexander, et autres
Publié: (2025)

Anthem 2.0: Automated Reasoning for Answer Set Programming
par: Fandinno, Jorge, et autres
Publié: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
par: Arndt, Dörthe, et autres
Publié: (2025)

Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference
par: Yang, Ziyi, et autres
Publié: (2026)

Teaching Higher-Order Logic Using Isabelle
par: Lund, Simon Tobias, et autres
Publié: (2024)

Experiments with Choice in Dependently-Typed Higher-Order Logic
par: Ranalter, Daniel, et autres
Publié: (2024)

Verifying Procedural Programs via Constrained Rewriting Induction
par: Fuhs, Carsten, et autres
Publié: (2014)

The Power of Negation in Higher-Order Datalog
par: Charalambidis, Angelos, et autres
Publié: (2025)

A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
par: Ceragioli, Leonardo, et autres
Publié: (2025)

Trustworthiness Preservation by Copies of Machine Learning Systems
par: Ceragioli, Leonardo, et autres
Publié: (2025)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
par: Ceragioli, Leonardo, et autres
Publié: (2025)

DanceGraph: A Complementary Architecture for Synchronous Dancing Online
par: Sinclair, David, et autres
Publié: (2025)

Term Orders for Optimistic Lambda-Superposition
par: Bentkamp, Alexander, et autres
Publié: (2025)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
par: Pollaci, Samuele, et autres
Publié: (2024)

Revisiting Conjunctive Query Entailment for $\mathcal S$
par: Ibáñez-García, Yazmín, et autres
Publié: (2025)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
par: Villadsen, Jørgen
Publié: (2025)

Non-Ground Congruence Closure
par: Leidinger, Hendrik, et autres
Publié: (2024)

On the Equivalence between Logic Programming and SETAF
par: Alcântara, João, et autres
Publié: (2024)

ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
par: Jana, Prithwish, et autres
Publié: (2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions
par: Morris, Matthew, et autres
Publié: (2025)

Sound Logical Explanations for Mean Aggregation Graph Neural Networks
par: Morris, Matthew, et autres
Publié: (2025)

Experience with GitHub Copilot for Developer Productivity at Zoominfo
par: Bakal, Gal, et autres
Publié: (2025)

A Reduction of Input/Output Logics to SAT
par: Steen, Alexander
Publié: (2025)

Making Logic a First-Class Citizen in Generative ML for Networking
par: Hè, Hongyu, et autres
Publié: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
par: Martina, Antoine, et autres
Publié: (2023)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
par: Axelrod, Guy, et autres
Publié: (2026)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
par: Kesseli, Pascal, et autres
Publié: (2025)

Tensor Logic: The Language of AI
par: Domingos, Pedro
Publié: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
par: Steen, Alexander, et autres
Publié: (2022)

Putnam-AXIOM: A Functional and Static Benchmark for Measuring Higher Level Mathematical Reasoning in LLMs
par: Gulati, Aryan, et autres
Publié: (2025)

NL2LOGIC: AST-Guided Translation of Natural Language into First-Order Logic with Large Language Models
par: Putra, Rizky Ramadhana, et autres
Publié: (2026)