Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,291 papers from all fields of science
Search
Sign In
Create Free Account
Judgment (mathematical logic)
Known as:
Judgement (mathematical logic)
, Judgment (disambiguation)
Judgments are used for example in formalizing deduction systems: a logical axiom expresses a judgment, premises of a rule of inference are formed as…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
First-order logic
Hilbert system
Hindley–Milner type system
Natural deduction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Combination of neuro-fuzzy network models with biological knowledge for reconstructing gene regulatory networks
Guixia Liu
,
Lei Liu
,
Chunyu Liu
,
Ming Zheng
,
Lanying Su
,
Chunguang Zhou
2011
Corpus ID: 16315836
Highly Cited
2009
Highly Cited
2009
Beyond Retroactivity to Realizing Justice: A Theory on the Principle of Legality in International Criminal Law Sentencing
S. Dana
2009
Corpus ID: 20176917
Although ranking among the most fundamental principles of criminal law, nulla poena sine lege (no punishment without law…
Expand
2007
2007
MarCol: A Market-Based Recommender System
Daniel R. Melamed
,
Bracha Shapira
,
Y. Elovici
IEEE Intelligent Systems
2007
Corpus ID: 16594674
Collaborative information-filtering systems maintain user judgments on the relevance of data items.These systems recommend…
Expand
Review
2005
Review
2005
Harmonizing Business Laws in Africa: Ohada Calls the Tune
C. Dickerson
2005
Corpus ID: 56287252
OHADA (in English, Organization for Harmonization in Africa of Business Laws) is a system of business laws and implementing…
Expand
2004
2004
Enforcing Judgments in Russian Economic Courts
Kathryn Hendley
2004
Corpus ID: 55335634
Abstract An expert on Russian law and politics uses data drawn from interviews with participants in non-payment cases heard by…
Expand
2003
2003
Multi-level Meta-reasoning with Higher-Order Abstract Syntax
A. Momigliano
,
Simon Ambler
Foundations of Software Science and Computation…
2003
Corpus ID: 14218320
Combining Higher Order Abstract Syntax (HOAS) and (co)- induction is well known to be problematic. In previous work [1] we have…
Expand
1999
1999
A Specification for Human Action Representation
J. Ianni
1999
Corpus ID: 60110526
Abstract : This paper will propose a specification that will allow any Human Figure Model (HFM) to be controlled by external…
Expand
Review
1995
Review
1995
A Reform of Civil Procedure: Rationing Procedure Rather Than Access to Justice
A. Zuckerman
1995
Corpus ID: 56166358
The cost and delay involved in civil litigation have been a source of concern for some time now. One of the main purposes of the…
Expand
1991
1991
Spatial vision within egocentric and exocentric frames of reference
I. Howard
1991
Corpus ID: 130428955
It is remarkable that we are able to perceive a stable visual world and judge the directions, orientations, and movements of…
Expand
1970
1970
Individual Inconsistency and Reliability of Measurement1
D. Hendel
,
D. Weiss
1970
Corpus ID: 141060470
THE concept of reliability of measurement is clearly not as simple and static as standard definitions often imply. Reliability is…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE