Zobrazeno 1 - 10
of 36
pro vyhledávání: '"Robert J. Simmons"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 101, Iss Proc. LINEARITY 2012, Pp 50-60 (2012)
We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument mak
Externí odkaz:
https://doaj.org/article/3e0bc0358c3240409b89c144e0c9a10d
Autor:
Chris Martens, Robert J. Simmons
Publikováno v:
Interactive Storytelling ISBN: 9783030922993
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::201754df4e71e4ed82cebebe7e6a40ca
https://doi.org/10.1007/978-3-030-92300-6_9
https://doi.org/10.1007/978-3-030-92300-6_9
Autor:
Robert J. Simmons, Bernard Serbinowski, Amar Mitiche, Michael Cline, Xiuyi Fan, Thomas C. Henderson
Publikováno v:
Intelligent Autonomous Systems 15 ISBN: 9783030013691
IAS
IAS
Given a knowledge base in Conjunctive Normal Form for use by an intelligent agent, with probabilities assigned to the conjuncts, the probability of any new query sentence can be determined by solving the Probabilistic Satisfiability Problem (PSAT). T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c8c1f0464d6a6af0ab25275a7f49b49
https://cronfa.swan.ac.uk/Record/cronfa39581/Download/0039581-08052018084636.pdf
https://cronfa.swan.ac.uk/Record/cronfa39581/Download/0039581-08052018084636.pdf
Autor:
Robert J. Simmons, Xiuyi Fan, David Sacharny, Taylor Welker, Amar Mitiche, Thomas C. Henderson
Publikováno v:
MFI
Geospatial Intelligence analysis involves the combination of multi-source information expressed in logical form (as sentences or statements), computational form (as numerical models of physics or other processes), and sensor data (as measurements fro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc2fb1450fee719b9171777e43c530a
https://doi.org/10.1109/mfi.2017.8170352
https://doi.org/10.1109/mfi.2017.8170352
Autor:
Bernard Serbinowski, Robert J. Simmons, Xiuyi Fan, Michael Cline, David Sacharny, Thomas C. Henderson, Amar Mitiche
Publikováno v:
Artificial Intelligence. 278:103199
Information analysis often involves heterogeneous sources expressed as logical sentences, numerical models, sensor data, etc. Each of these has its own way to describe uncertainty or error; e.g., frequency analysis, algorithmic truncation, floating p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11fde333659e9ff634e96178cadca4d0
https://doi.org/10.1016/j.artint.2019.103199
https://doi.org/10.1016/j.artint.2019.103199
Autor:
Robert J. Simmons, Frank Pfenning
Publikováno v:
Higher-Order and Symbolic Computation. 24:41-80
The abstract interpretation of programs relates the exact semantics of a programming language to a finite approximation of those semantics. In this article, we describe an approach to abstract interpretation that is based in logic and logic programmi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ef0ad070233aef8e93ebfdb8c2283bd
https://doi.org/10.1007/s10990-011-9071-2
https://doi.org/10.1007/s10990-011-9071-2
Autor:
Sriram K. Rajamani, Robert J. Simmons, Nels E. Beckman, Aditya V. Nori, Sai Deep Tetali, Aditya V. Thakur
Publikováno v:
IEEE Transactions on Software Engineering. 36:495-508
We present an algorithm DASH to check if a program P satisfies a safety property φ. The unique feature of this algorithm is that it uses only test generation operations, and it refines and maintains a sound program abstraction as a consequence of fa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::eae609791faa577ad57b75dc43655b40
https://doi.org/10.1109/tse.2010.49
https://doi.org/10.1109/tse.2010.49
Autor:
Ian Zerny, Robert J. Simmons
Publikováno v:
Simmons, R J & Zerny, I 2013, A logical correspondence between natural semantics and abstract machines . in R Peña & T Schrijvers (eds), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 . Association for Computing Machinery, pp. 109-119, Madrid, Spain, 16/09/2013 . https://doi.org/10.1145/2505879.2505899
PPDP
PPDP
We present a logical correspondence between natural semantics and abstract machines. This correspondence enables the mechanical and fully-correct construction of an abstract machine from a natural semantics. Our logical correspondence mirrors the Rey
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4871fc1c90ea1ae7f8b31d514ab5787c
https://pure.au.dk/portal/da/publications/a-logical-correspondence-between-natural-semantics-and-abstract-machines(c9349709-999c-4eb9-8648-88454d561cf0).html
https://pure.au.dk/portal/da/publications/a-logical-correspondence-between-natural-semantics-and-abstract-machines(c9349709-999c-4eb9-8648-88454d561cf0).html
Publikováno v:
Development and Psychopathology. 7:267-282
Analysis of longitudinal data for 145 children [51 healthy, 40 with cystic fibrosis (CF), and 54 with congenital heart disease (CHD)] was conducted: (a) to ascertain whether behavioral problems evident in older medically compromised children would be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e7320e94435cad9f5d6644b1e3b0d5da
https://doi.org/10.1017/s0954579400006490
https://doi.org/10.1017/s0954579400006490
Weighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9160056e066e89daf0d61b6024762568
http://arxiv.org/abs/1006.3035
http://arxiv.org/abs/1006.3035