Goals and Benchmarks for Automated Map Reasoning

Journal of Symbolic Computation - United States
doi 10.1006/jsco.1999.0362
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Automated Reasoning for Web Page Layout

ACM SIGPLAN Notices
Computer Science
2016English

Automated Reasoning for Web Page Layout

2016English

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

Automated Reasoning on Feature Models

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
2005English

Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation

English

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

Lecture Notes in Electrical Engineering
IndustrialManufacturing Engineering
2016English

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Identifying Novel Drug Indications Through Automated Reasoning

PLoS ONE
Multidisciplinary
2012English

Does Interactivity Increase Map User’s Reasoning? A Study With Environmental Map Users

Abstracts of the ICA
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy