39 results
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 10 July 2023, pp. 748-764
-
- Article
-
- You have access
- HTML
- Export citation
Three-dimensional density field of a screeching under-expanded jet in helical mode using multi-view digital holographic interferometry
-
- Journal:
- Journal of Fluid Mechanics / Volume 947 / 25 September 2022
- Published online by Cambridge University Press:
- 30 August 2022, A36
-
- Article
- Export citation
Neural correlates of referential/persecutory delusions in schizophrenia: examination using fMRI and a virtual reality underground travel paradigm
-
- Journal:
- Psychological Medicine / Volume 53 / Issue 10 / July 2023
- Published online by Cambridge University Press:
- 22 June 2022, pp. 4780-4787
-
- Article
- Export citation
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 14 December 2020, pp. 372-401
-
- Article
- Export citation
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 864-879
-
- Article
- Export citation
Structural brain abnormalities in schizophrenia in adverse environments: examining the effect of poverty and violence in six Latin American cities
-
- Journal:
- The British Journal of Psychiatry / Volume 218 / Issue 2 / February 2021
- Published online by Cambridge University Press:
- 18 August 2020, pp. 112-118
- Print publication:
- February 2021
-
- Article
-
- You have access
- HTML
- Export citation
The neural basis of cognitive control in gambling disorder: A systematic review of fMRI studies
-
- Journal:
- European Psychiatry / Volume 41 / Issue S1 / April 2017
- Published online by Cambridge University Press:
- 23 March 2020, pp. s870-s871
-
- Article
-
- You have access
- Export citation
ASP-Core-2 Input Language Format
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 20 December 2019, pp. 294-309
-
- Article
- Export citation
Obstacles to the spread of unintuitive beliefs
-
- Journal:
- Evolutionary Human Sciences / Volume 1 / 2019
- Published online by Cambridge University Press:
- 14 October 2019, e10
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 1073-1089
-
- Article
- Export citation
Enhancing Magic Sets with an Application to Ontological Reasoning
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 654-670
-
- Article
- Export citation
Finite model reasoning over existential rules*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 24 August 2017, pp. 726-743
-
- Article
- Export citation
Detection Thresholds of Archaeological Features in Airborne Lidar Data from Central Yucatán
-
- Journal:
- Advances in Archaeological Practice / Volume 4 / Issue 3 / August 2016
- Published online by Cambridge University Press:
- 16 January 2017, pp. 232-248
-
- Article
- Export citation
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 653-669
-
- Article
- Export citation
Complexity and compilation of GZ-aggregates in answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 574-587
-
- Article
- Export citation
Contributor affiliations
-
-
- Book:
- Textbook of Neural Repair and Rehabilitation
- Published online:
- 05 May 2014
- Print publication:
- 24 April 2014, pp ix-xvi
-
- Chapter
- Export citation
Contributor affiliations
-
-
- Book:
- Textbook of Neural Repair and Rehabilitation
- Published online:
- 05 June 2014
- Print publication:
- 24 April 2014, pp ix-xvi
-
- Chapter
- Export citation
Treatment fidelity and acceptability of a cognition-focused intervention for older adults with mild cognitive impairment (MCI)
-
- Journal:
- International Psychogeriatrics / Volume 25 / Issue 5 / May 2013
- Published online by Cambridge University Press:
- 21 February 2013, pp. 815-823
-
- Article
- Export citation
Factors associated with suicidal thoughts in a large community study of older adults
-
- Journal:
- The British Journal of Psychiatry / Volume 201 / Issue 6 / December 2012
- Published online by Cambridge University Press:
- 02 January 2018, pp. 466-472
- Print publication:
- December 2012
-
- Article
-
- You have access
- HTML
- Export citation
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 701-718
-
- Article
- Export citation