DE eng

Search in the Catalogues and Directories

Hits 1 – 16 of 16

1
Formalization of AMR Inference via Hybrid Logic Tableaux ...
Goldner, Eli Tecumseh. - : Brandeis University, 2022
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
Walker, Caren Michelle. - : eScholarship, University of California, 2015
BASE
Show details
4
Learning by thinking and the development of abstract reasoning
Walker, Caren Michelle. - : eScholarship, University of California, 2015
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
Mosing, Miriam A.; Mellanby, Jane; Martin, Nicholas G.. - : Springer New York, 2012
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.
Liquori, Luigi. - : HAL CCSD, 2007
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 ...
Thumm, Karl A.. - : Wochenschau Verlag, 1987
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
Son
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

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
16
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern