Filters








7,153 Hits in 7.1 sec

Interactive Answer Set Programming - Preliminary Report [article]

Martin Gebser and Phillip Obermeier and Torsten Schaub
2015 arXiv   pre-print
Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed.  ...  The high practical relevance of dynamic applications led to the development of multi-shot solving systems. An operative system solves continuously changing logic programs.  ...  query answering to testing membership in a (single) set.  ... 
arXiv:1511.01261v1 fatcat:hyrf3lpwendk5leacd65j5wd4e

Incremental maintenance of overgrounded logic programs with tailored simplifications [article]

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2020 arXiv   pre-print
When using answer set programming in such contexts, one can avoid the iterative generation of ground programs thus achieving a significant payoff in terms of computing time.  ...  The repeated execution of reasoning tasks is desirable in many applicative scenarios, such as stream reasoning and event processing.  ...  This stimulated a research effort towards the development of incremental reasoning techniques in the answer set programming community.  ... 
arXiv:2008.04108v1 fatcat:zf77yg7xnvblpjebkpeacivpue

Program

2020 2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan)  
In the multi-core, each core is responsible for serving a process at each moment, hence the performance of smartphone executing programs can become much better.  ...  In this study, we realized a hybrid unicast and multicast adaptive streaming system.  ...  In this paper, we focus on a simple program function, which is a for statement, and discuss its performance.  ... 
doi:10.1109/icce-taiwan49838.2020.9258230 fatcat:g25vw7mzvradxna2grlzp6kgiq

Reasoning in Highly Reactive Environments

Francesco Pacenza
2019 Electronic Proceedings in Theoretical Computer Science  
As reasoning in highly reactive environments, we identify the setting in which a knowledge-based agent, with given goals, is deployed in an environment subject to repeated, sudden and possibly unknown  ...  In order to operate in an highly reactive environment, an artificial agent needs to be: 1. Responsive -> The agent must be able to react repeatedly and in a reasonable amount of time; 2.  ...  In the context of stream reasoning and multi-shot reasoning engines [4, 6, 16 ] based on answer set programming, a quite typical setting is when the grounding step is repeatedly executed on slightly different  ... 
doi:10.4204/eptcs.306.57 fatcat:zt2pezjwmfg43f3ini5fgjn2by

An Infrastructure for Multi-shot Reasoning with Incremental Grounding

Giovambattista Ianni, Francesco Pacenza, Jessica Zangari
2019 Italian Conference on Computational Logic  
In the context of multiple, repeated, execution of reasoning tasks, typical of stream reasoning and other applicative settings, we propose an incremental reasoning infrastructure, based on the answer set  ...  We present the outline of our incremental caching technique and report about our preliminary experiments.  ...  In the context of stream reasoning and multi-shot evaluation [2, 3, 14] , a quite typical setting is when the grounding step is repeatedly executed on slightly different input data, while a short computation  ... 
dblp:conf/cilc/IanniPZ19 fatcat:qkqqyev6zzgjlesls73oaq4zra

Temporal Answer Set Programming [article]

Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal
2021 arXiv   pre-print
Logic, a well known logical characterization of Answer Set Programming (ASP).  ...  In a second part, we focus on practical aspects, defining a syntactic fragment called temporal logic programs closer to ASP, and explain how this has been exploited in the construction of the solver TELINGO  ...  recently, stream reasoning.  ... 
arXiv:2009.06544v3 fatcat:7oa2hbsndnfzzhpgyfm3movv3e

Linear-Time Temporal Answer Set Programming

FELICIDAD AGUADO, PEDRO CABALAR, MARTÍN DIÉGUEZ, GILBERTO PÉREZ, TORSTEN SCHAUB, ANNA SCHUHMANN, CONCEPCIÓN VIDAL
2021 Theory and Practice of Logic Programming  
based on Equilibrium Logic, a well known logical characterization of Answer Set Programming (ASP).  ...  In the remainder of the paper, we focus on practical aspects, defining a syntactic fragment called (modal) temporal logic programs closer to ASP, and explaining how this has been exploited in the construction  ...  A special thanks goes to Mirosaw Truszczyński for his support in improving the quality of our paper.  ... 
doi:10.1017/s1471068421000557 fatcat:iwqi332tnbdkdiydjq2cn5ci5a

A model building framework for answer set programming with external computations

THOMAS EITER, MICHAEL FINK, GIOVAMBATTISTA IANNI, THOMAS KRENNWALLNER, CHRISTOPH REDL, PETER SCHÜLLER
2015 Theory and Practice of Logic Programming  
To cater for this need,hexprograms were designed as a generalization of answer set programs with an API style interface that allows to access arbitrary external sources, providing great flexibility.  ...  in heterogeneous formats.  ...  The modularity techniques from above are less relevant for this setting as grounding the overall program in one shot is possible.  ... 
doi:10.1017/s1471068415000113 fatcat:kq5ya4rvbnhxdd7adsmhyfj32e

Program

2022 2022 International Conference on Decision Aid Sciences and Applications (DASA)  
A maximum of 92.90% classification accuracy is obtained using the features of IMF-4 with 10-fold cross-validation. The results conclude that the proposed method can detect AD patients efficiently.  ...  A preliminary set of five-point Likert-style questions with several subscales was designed and distributed online to a sample of 165 participants.  ...  Reasoning and annotation of the results are essential for this. The XAI approach is the answer to this problem.  ... 
doi:10.1109/dasa54658.2022.9765271 fatcat:ttqppf4j3navnaxe653mrzmezi

Programming in context

Jens Bennedsen, Michael E. Caspersen
2004 Proceedings of the 35th SIGCSE technical symposium on Computer science education - SIGCSE '04  
It examines whether the same success factors for learning programming apply to a model-based approach as to introductory programming courses in general for full-time students and gives a general overview  ...  It gives an overview of the research in teaching introductory programming in an objects-first way.  ...  He categorised the articles according to four article categories: experiment (-reports on a clear and deliberate research experiment‖), analysis (-authors have set out to answer a particular question,  ... 
doi:10.1145/971300.971461 dblp:conf/sigcse/BennedsenC04 fatcat:amhwuj4janakdexeanlw6xhape

D7.5: HPC Programming Techniques

Cevdet Aykanat, Antun Balaz, Iris Christadler, Ivan Girotto, Jose Gracia, Vladimir Slavnic, Andy Sunderland, Ata Türk
2012 Zenodo  
In most of th [...]  ...  This task worked with users to implement new programming techniques, paradigms and algorithms for Tier-1 and Tier-0 systems, which have the potential to facilitate significant improvements in their applications  ...  We find that the answer depends on problem size.  ... 
doi:10.5281/zenodo.6552939 fatcat:z2gdhmnojrh6bj2lordyl7lmnq

Leveraging existing program data for routine efficiency measurement in Zambia

Rick Homan, John Bratt, Gregory Marchand, Henry Kansembe
2018 Gates Open Research  
326 facilities in 17 high-priority districts in Copperbelt and Central Provinces.  ...  Existing IFMIS and DHIS-2 data streams provide recurring flows of expenditure and output data needed to estimate service-specific unit expenditures.  ...  REMs requires a set of conditions to be in place before the system can be implemented.  ... 
doi:10.12688/gatesopenres.12851.1 fatcat:buciacjct5f3dj25cbqoqtocsm

LooPy: interactive program synthesis with control structures

Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, Nadia Polikarpova
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
This paradigm, however, does not work well in the presence of loops.  ...  We present LooPy, a synthesizer integrated into a live programming environment, which extends Small-Step Live PBE to work inside loops and scales it up to synthesize larger code snippets, while remaining  ...  body in one shot.  ... 
doi:10.1145/3485530 fatcat:qm42mgbacbdr7hcs3w5fdgeegi

Secure Smart Healthcare Monitoring in Industrial Internet of Things (IIoT) Ecosystem with Cosine Function Hybrid Chaotic Map Encryption

Jalaluddin Khan, Ghufran Ahmad Khan, Jian Ping Li, Mohamed Fahad AlAjmi, Amin Ul Haq, Shakir Khan, Naved Ahmad, Shadma Parveen, Mohammad Shahid, Sultan Ahmad, Mordecai Raji, Bilal Ahamad (+3 others)
2022 Scientific Programming  
Due to enormous data theft or privacy leakage, security, and privacy towards patient-based informative data, the preservation of personal patients' informative data has now become a necessity in the digitized  ...  The technological progression is raised as a hybrid ecosystem with the industrial Internet of Things (IIoT).  ...  A (TED) transition effect detection system is subsequently proposed to segment the video streams automatically into shots.  ... 
doi:10.1155/2022/8853448 fatcat:z72v4kakj5fwzo4q7nkpn2itjm

Leveraging existing program data for routine efficiency measurement in Zambia

Rick Homan, John Bratt, Gregory Marchand, Henry Kansembe
2018 Gates Open Research  
But program managers lack routine information on unit expenditures at points of care, and higher-level planners are unable to assess resource use in the health system.  ...  326 facilities in 17 high-priority districts in Copperbelt and Central Provinces.  ...  REMs requires a set of conditions to be in place before the system can be implemented.  ... 
doi:10.12688/gatesopenres.12851.2 pmid:31131366 pmcid:PMC6480548 fatcat:ymccs6fx3vbohdbxwmnkglhb5m
« Previous Showing results 1 — 15 out of 7,153 results