1 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
3 |
Learning by thinking and the development of abstract reasoning
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Learning by thinking and the development of abstract reasoning
|
|
|
|
In: Walker, Caren Michelle. (2015). Learning by thinking and the development of abstract reasoning. UC Berkeley: Psychology. Retrieved from: http://www.escholarship.org/uc/item/45d416b8 (2015)
|
|
BASE
|
|
Show details
|
|
5 |
Baboons, like humans, solve analogy by categorical abstraction of relations
|
|
|
|
In: ISSN: 1435-9448 ; EISSN: 1435-9456 ; Animal Cognition ; https://hal.archives-ouvertes.fr/hal-01439660 ; Animal Cognition, Springer Verlag (Germany), 2013, 16 (3), pp.519-524. ⟨10.1007/s10071-013-0596-0⟩ (2013)
|
|
BASE
|
|
Show details
|
|
6 |
Genetic and environmental influences on analogical and categorical verbal and spatial reasoning in 12-year old twins
|
|
|
|
BASE
|
|
Show details
|
|
7 |
Distance Education and Community Learning Networks linked by a Library of Culture
|
|
|
|
In: Student Affairs Digital Community Development (2011)
|
|
BASE
|
|
Show details
|
|
8 |
Grammatical sensitivity: a correlational-explanatory study on brain dominance and Efl training to improve gains
|
|
|
|
In: Colombian Applied Linguistics Journal, Vol 0, Iss 10, Pp 93-111 (2011) (2011)
|
|
BASE
|
|
Show details
|
|
9 |
Structural abstract interpretation, A formal study using Coq
|
|
|
|
In: LERNET Summer School ; https://hal.inria.fr/inria-00329572 ; LERNET Summer School, Ana Bove and Jorge Sousa Pinto, Feb 2008, Piriapolis, Uruguay (2008)
|
|
BASE
|
|
Show details
|
|
10 |
Peter, the Language that does not Exist. ; Peter, le langage qui n’existe pas.
|
|
|
|
In: https://hal.inria.fr/tel-01148503 ; Computation and Language [cs.CL]. INPL - INP de LORRAINE, 2007 (2007)
|
|
BASE
|
|
Show details
|
|
11 |
ARTICLE IN PRESS Available online at www.sciencedirect.com Brain and Cognition xxx (2007) xxx–xxx Brief Communication
|
|
|
|
In: http://www.freewebs.com/adiscussion/Superior fluid intelligence in children with Asperger's disorder.pdf (2007)
|
|
BASE
|
|
Show details
|
|
12 |
Die Praxis - ein pädagogischer Mythos? Anmerkungen zum Aktionsorientierten Lernen und anderen Begriffskonjunkturen ...
|
|
|
|
BASE
|
|
Show details
|
|
13 |
Die Praxis - ein pädagogischer Mythos? Anmerkungen zum Aktionsorientierten Lernen und anderen Begriffskonjunkturen
|
|
|
|
In: Zeitschrift für Entwicklungspädagogik 10 (1987) 3, S. 9-12 (1987)
|
|
BASE
|
|
Show details
|
|
14 |
Persistent Queries in the Behavioral Theory of Algorithms
|
|
|
|
In: http://research.microsoft.com/en-us/um/people/gurevich/opera/196.pdf
|
|
BASE
|
|
Show details
|
|
15 |
A Dual Process Architecture for Ontology-Based Systems
|
|
|
|
In: http://www.di.unito.it/%7Eradicion/papers/minieri14dual.pdf
|
|
BASE
|
|
Show details
|
|
16 |
Adding hierarchical task networks to ConGolog
|
|
|
|
In: http://cs.utep.edu/csdept/students/tson/htng09.ps
|
|
Abstract:
In this paper we extend the high level execution language ConGolog (developed at the University of Toronto) by adding to it a new construct which we call the htn-construct. The new construct improves ConGolog by allowing easy specification of non-determinism when a partial ordering between a set of actions needs to be maintained. Furthermore, it allows temporal constraints to be specified easily. We present an implementation of the htn-construct in PROLOG which can be directly added to PROLOG implementations of ConGolog interpreters. Abstract id: A365; Word count: 5600 Keywords: planning, robotics, knowledge representation, temporal reasoning 1 Introduction Golog [ Levesque et al. 1997 ] and ConGolog [ De Giacomo et al. 1997 ] are two main high level execution languages developed recently (in the 90's) by the Cognitive Robotics group at the University of Toronto. The approach to write programs in these languages for high level control of robots and other agents in a dynamic and inc.
|
|
Keyword:
5600 Keywords; A365; Abstract id; knowledge representation; planning; robotics; temporal reasoning; Word count
|
|
URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.6148 http://cs.utep.edu/csdept/students/tson/htng09.ps
|
|
BASE
|
|
Hide details
|
|
|
|