Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Kaminski
A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Terminating Tableaux for $\Mathcal{SOQ}$ With Number Restrictions on Transitive Roles
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Related publications
A Two-Neuron System for Adaptive Goal-Directed Decision-Making in Lymnaea
Nature Communications
Astronomy
Genetics
Molecular Biology
Biochemistry
Chemistry
Physics
Anterior Hippocampus and Goal-Directed Spatial Decision Making
Journal of Neuroscience
Neuroscience
A Review of Goal Directed Perfusion
Japanese journal of extra-corporeal technology
Erratum To: Extension of a Decision Procedure for a Fragment of Hybrid Logic With Binders
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Questionable Interim Analyses in the Goal-Directed Perfusion Trial Study of Goal-Directed Perfusion
Journal of Thoracic and Cardiovascular Surgery
Respiratory Medicine
Pulmonary
Cardiovascular Medicine
Surgery
Cardiology
Early Goal-Directed Therapy: A UK Perspective
Emergency Medicine Journal
Medicine
Critical Care
Emergency Medicine
Intensive Care Medicine
Anaesthesia for Coronary Artery Surgery — A Plea for a Goal-Directed Approach
Canadian Journal of Anaesthesia
Medicine
Anesthesiology
Pain Medicine
A Decision Procedure for Geometry in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Goal Directed Behavior and Dyslexia
Prilozi (Makedonska akademija na naukite i umetnostite. Oddelenie za medicinski nauki)
Medicine