Results 211 to 220 of about 1,092,525 (253)

On the declarative and procedural semantics of logic programs

Journal of Automated Reasoning, 1989
Teodor C Przymusiński, Przymusiński Teodor C   +1 more
exaly   +2 more sources

Procedural Logic versus Object-Oriented Logic in Library Automation Instruction

Journal of Education for Library and Information Science, 1987
T. R. Kochtanek
exaly   +2 more sources

Criminal Code: Procedural Logic and Rhetorical Excess in Videogames

Digital Humanities Quarterly, 2013
Criminal Code: Procedural Logic and Rhetorical Excess in Videogames explores the code of two videogames, suggesting that reading game code is a fruitful way to enrich our understanding of videogames and the culture they represent.
Mark Sample
semanticscholar   +1 more source

Addressing the Abstraction and Reasoning Corpus via Procedural Example Generation

arXiv.org
This work presents code to procedurally generate examples for the ARC training tasks. For each of the 400 tasks, an example generator following the transformation logic of the original examples was created.
M. Hodel
semanticscholar   +1 more source

Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs

International Conference on Information Control Systems & Technologies
Logic programs are a powerful approach for solving NP-Hard problems. However, their declarative nature poses significant challenges in debugging. Unlike procedural paradigms, which allow for step-by-step inspection of program state, logic programs ...
Ricardo Brancas, Vasco M. Manquinho, Ruben Martins   +2 more
semanticscholar   +1 more source

Meta-Cognitive Analysis: Evaluating Declarative and Procedural Knowledge in Datasets and Large Language Models

International Conference on Language Resources and Evaluation
Declarative knowledge and procedural knowledge are two key parts in meta-cognitive theory, and these two hold significant importance in pre-training and inference of LLMs.
Zhuoqun Li, Hongyu Lin, Yaojie Lu, Hao Xiang, Xianpei Han, Le Sun   +5 more
semanticscholar   +1 more source

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs

arXiv.org
Logic programs are a powerful approach for solving NP-Hard problems. However, due to their declarative nature, debugging logic programs poses significant challenges.
Ricardo Brancas, Vasco M. Manquinho, Ruben Martins   +2 more
semanticscholar   +1 more source

Procedural Pretraining: Warming Up Language Models with Abstract Data

arXiv.org
Pretraining language models directly on web-scale corpora is the de facto paradigm. We study an alternative where the model is initially exposed to abstract structured data to ease the subsequent acquisition of rich semantic knowledge, much like humans ...
Liangze Jiang, Zachary Shinnick, Anton van den Hengel, Hemanth Saratchandran, Damien Teney   +4 more
semanticscholar   +1 more source