On expressive rule-based logics

We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.

Logic, Reasoning, and Knowledge Advanced Algebra and Logic Logic, programming, and type systems

View graph Source

Paper

Similar papers

ON THE COMPARISONS OF LOGICS IN TERMS OF EXPRESSIVE POWERDiego Pinheiro Fernandes2023 · Manuscrito In Library

Characterizing the Program Expressive Power of Existential Rule LanguagesHeng Zhang, Guifei Jiang2022 · Proceedings of the AAAI Conference on Artificial Intelligence In Library

Characterizing the Program Expressive Power of Existential Rule LanguagesHeng Zhang2021 · arXiv (Cornell University) · 4 citations In Library

A Closer Look at the Expressive Power of Logics Based on Word EquationsJoel D. Day, Vijay Ganesh, Nathan Grewal et al.2023 · Theory of Computing Systems In Library

Comparing Expressiveness of Logics Defined within Different Classes of ModelsDiego Fernandes2024 · Logic and Logical Philosophy In Library

The power of clockingsAntti Kuusisto2022 · arXiv (Cornell University) In Library

Expressiveness and Nash Equilibrium in Iterated Boolean GamesJulián Gutiérrez, Paul Harrenstein, Giuseppe Perelli et al.2021 · ACM Transactions on Computational Logic In Library

Expressivity Landscape for Logics with Probabilistic Interventionist CounterfactualsFausto Barbero, Virtema, Jonni2023 · arXiv (Cornell University) In Library

Extending ASP Based Reasoning to Expressive Constructive Description LogicsLoris Bozzato2020 · IrInSubria (University of Insubria) In Library

LogicGame: Benchmarking Rule-Based Reasoning Abilities of Large Language ModelsJiayi Gui, Y. Liu, Jiale Cheng et al.2024 · arXiv (Cornell University) · 19 citations In Library

Source of record

OpenAlex

44B

Welcome.

This panel sticks with you. Pick anything below and it opens right beside it, so you can dig through 60,000-plus records without ever losing your spot here.

Travel 44B

LibraryPapers, policy, standards, statute LabsEvery organization building AI ModelsIntelligence, price, and speed BenchmarksThe evaluation catalog IncidentsAI failures and harms SearchOne field across everything DashboardThe state of AI accountability in NY 44B RegistryThe Art. 44-B compliance portal