Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons From Automated Planning

Lecture Notes in Electrical Engineering - Germany
doi 10.1007/978-981-10-2585-3_7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Singapore

Related search

Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation

English

Separating Bayesian Updating From Non-Probabilistic Reasoning: An Experimental Investigation

American Economic Journal: Microeconomics
EconomicsEconometricsFinance
2016English

An Automated Land Subdivision Tool for Urban and Regional Planning: Concepts, Implementation and Testing

Environmental Modelling and Software
Ecological ModelingEnvironmental EngineeringSoftware
2011English

Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2000English

Representation Learning for Grounded Spatial Reasoning

Transactions of the Association for Computational Linguistics
2018English

A Case-Based Reasoning Approach for Automated Management in Policy-Based Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Automated Reasoning for Web Page Layout

ACM SIGPLAN Notices
Computer Science
2016English

Knowledge Representation and Reasoning: The View From Cognitive Psychology

Knowledge Engineering Review
Artificial IntelligenceSoftware
1995English

Automated Reasoning for Web Page Layout

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy