BOOK
Justification Logic: Reasoning with Reasons
Abstract
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.
Keywords:
Philosophy of logic Computational logic Epistemic modal logic Dynamic logic (digital electronics) Multimodal logic Term logic Paraconsistent logic Predicate logic Epistemology Computer science Many-valued logic Cognitive science Modal logic Autoepistemic logic Interpretation (philosophy) Artificial intelligence Description logic Philosophy Modal Programming language Psychology
Metrics
27
Cited By
2.83
FWCI (Field Weighted Citation Impact)
110
Refs
0.93
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
DISSERTATION
Uncertain Reasoning in Justification Logic
University: Open Access CRIS of the University of Bern Year: 2016
DISSERTATION
Uncertain Reasoning in Justification Logic
University: BORIS Theses (Bern Open Research Information System) (Bern University Library, Hochschulstrasse 6, 3012 Bern, Switzerland) Year: 2016
BOOK-CHAPTER
Reasoning About Belief and Evidence with Extended Justification Logic
Frontiers in artificial intelligence and applications Year: 2016
JOURNAL ARTICLE
Reason‐based logic: A logic for reasoning with rules and reasons
Journal: Information & Communications Technology Law Year: 1994 Vol: 3 (2-3)Pages: 171-209