Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ronald P. A. Petrick
Separating Representation, Reasoning, and Implementation for Interaction Management: Lessons From Automated Planning
Lecture Notes in Electrical Engineering
Industrial
Manufacturing Engineering
Related publications
Logtk : A Logic ToolKit for Automated Reasoning and Its Implementation
Separating Bayesian Updating From Non-Probabilistic Reasoning: An Experimental Investigation
American Economic Journal: Microeconomics
Economics
Econometrics
Finance
An Automated Land Subdivision Tool for Urban and Regional Planning: Concepts, Implementation and Testing
Environmental Modelling and Software
Ecological Modeling
Environmental Engineering
Software
Goals and Benchmarks for Automated Map Reasoning
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
Representation Learning for Grounded Spatial Reasoning
Transactions of the Association for Computational Linguistics
A Case-Based Reasoning Approach for Automated Management in Policy-Based Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automated Reasoning for Web Page Layout
ACM SIGPLAN Notices
Computer Science
Knowledge Representation and Reasoning: The View From Cognitive Psychology
Knowledge Engineering Review
Artificial Intelligence
Software
Automated Reasoning for Web Page Layout
