scholarly journals Translating Answer-Set Programs into Bit-Vector Logic

2013 ◽  
pp. 95-113 ◽  
Author(s):  
Mai Nguyen ◽  
Tomi Janhunen ◽  
Ilkka Niemelä
Keyword(s):  
Bit Vector ◽  
Answer Set

A Decision Procedure for Bit-Vector Arithmetic

1998 ◽  
Author(s):  
Clark W. Barrett ◽  
David L. Dill ◽  
Jeremy R. Levitt
Keyword(s):  
Decision Procedure ◽  
Bit Vector

On How Bit-Vector Logic Can Help Verify LTL-based Specifications

2020 ◽  
pp. 1-1
Author(s):  
Mohammad Mehdi Pourhashem Kallehbasti ◽  
Matteo Giovanni Rossi ◽  
Luciano Baresi
Keyword(s):  
Bit Vector

Multi-modal actuation with the activation bit vector machine

2021 ◽  
Vol 66 ◽  
pp. 162-175
Author(s):  
H.R. Schmidtke
Keyword(s):  
Bit Vector

Paracoherent answer set computation

2021 ◽  
pp. 103519
Author(s):  
Giovanni Amendola ◽  
Carmine Dodaro ◽  
Wolfgang Faber ◽  
Francesco Ricca
Keyword(s):  
Answer Set

scholarly journals Open answer set programming with guarded programs

2008 ◽  
Vol 9 (4) ◽  
pp. 1-53 ◽  
Author(s):  
Stijn Heymans ◽  
Davy Van Nieuwenborgh ◽  
Dirk Vermeir
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Splitting Computation of Answer Set Program and Its Application on E-service

2011 ◽  
Vol 4 (5) ◽  
pp. 977-990
Author(s):  
Bo Yang ◽  
Ying Zhang ◽  
Mingyi Zhang ◽  
Maonian Wu
Keyword(s):  
Answer Set

Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution

2012 ◽  
Vol 5 (4) ◽  
pp. 275-291 ◽  
Author(s):  
Esra Erdem ◽  
Erdi Aker ◽  
Volkan Patoglu
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

2013 ◽  
Vol 29 (18) ◽  
pp. 2320-2326 ◽  
Author(s):  
Carito Guziolowski ◽  
Santiago Videla ◽  
Federica Eduati ◽  
Sven Thiele ◽  
Thomas Cokelaer ◽  
...  
Keyword(s):  
Answer Set Programming ◽  
Signaling Network ◽  
Logic Models ◽  
Answer Set

CoreALMlib: An library translated from the Component Library

2016 ◽  
Vol 16 (5-6) ◽  
pp. 800-816 ◽  
Author(s):  
DANIELA INCLEZAN
Keyword(s):  
Natural Language ◽  
Answer Set Programming ◽  
Natural Language Understanding ◽  
Inference Engine ◽  
Lexical Resources ◽  
Language Understanding ◽  
Commonsense Knowledge ◽  
Component Library ◽  
Action Language ◽  
Answer Set

AbstractThis paper presents CoreALMlib, an $\mathscr{ALM}$ library of commonsense knowledge about dynamic domains. The library was obtained by translating part of the Component Library (CLib) into the modular action language $\mathscr{ALM}$. CLib consists of general reusable and composable commonsense concepts, selected based on a thorough study of ontological and lexical resources. Our translation targets CLibstates (i.e., fluents) and actions. The resulting $\mathscr{ALM}$ library contains the descriptions of 123 action classes grouped into 43 reusable modules that are organized into a hierarchy. It is made available online and of interest to researchers in the action language, answer-set programming, and natural language understanding communities. We believe that our translation has two main advantages over its CLib counterpart: (i) it specifies axioms about actions in a more elaboration tolerant and readable way, and (ii) it can be seamlessly integrated with ASP reasoning algorithms (e.g., for planning and postdiction). In contrast, axioms are described in CLib using STRIPS-like operators, and CLib's inference engine cannot handle planning nor postdiction.

Sign in / Sign up

Export Citation Format

Share Document