Cautious Reasoning in ASP via Minimal Models and Unsatisfiable Cores

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068418000145
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Do Different Mental Models Influence Cybersecurity Behavior? Evaluations via Statistical Reasoning Performance

Frontiers in Psychology
Psychology
2017English

A Safety Analysis via Minimal Path Sets Detection for Object-Oriented Models

2014English

Models of Inductive Reasoning

2001English

LHC-friendly Minimal Freeze-In Models

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

Being Cautious

Environmental Science & Technology
MedicineEnvironmental ChemistryChemistry
2002English

Noncritical W-Strings and Minimal Models

Theoretical and Mathematical Physics(Russian Federation)
Nonlinear PhysicsMathematical PhysicsStatistical
1994English

Causal Reasoning With Mental Models

Frontiers in Human Neuroscience
Mental HealthNeuropsychologyPhysiological PsychologyNeurologyBehavioral NeurosciencePsychiatryBiological Psychiatry
2014English

Reasoning Over Extended ER Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Market-Cautious Feminism

Studies in Law Politics and Society
SociologyLawInternational RelationsPolitical Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy