Results 241 to 250 of about 191,691 (287)
Some of the next articles are maybe not open access.
... pro vacante professione rhetorica speciminis loco eruditorum examini submittit M. Iohan. Tonjola coetus italici qui Basil. colligitur minister respondente ornatissimo iuvene Davide Bazino Rossiniensi ad d. ... Ian. 1669.
openaire +2 more sources
openaire +2 more sources
ACM SIGART Bulletin, 1991
This paper describes a general theoretical framework for constructing intelligent knowledge bases. The framework arises from the desire to construct powerful and efficient systems. Powerful in the sense that they drawn "deep" conclusions from the knowledge base, and efficient in that they give quick responses.
openaire +1 more source
This paper describes a general theoretical framework for constructing intelligent knowledge bases. The framework arises from the desire to construct powerful and efficient systems. Powerful in the sense that they drawn "deep" conclusions from the knowledge base, and efficient in that they give quick responses.
openaire +1 more source
1997
Abstract Let us think, in a general way, about what happens in a natural deduction proof. As a whole the proof is an array of formulae, which we say establishes some sequent (namely the sequent which has on its left all the formulae which are undischarged assumptions in the proof, and on its right the single formula proved at the bottom ...
openaire +1 more source
Abstract Let us think, in a general way, about what happens in a natural deduction proof. As a whole the proof is an array of formulae, which we say establishes some sequent (namely the sequent which has on its left all the formulae which are undischarged assumptions in the proof, and on its right the single formula proved at the bottom ...
openaire +1 more source
Falsification-Aware Semantics and Sequent Calculi for Classical Logic
Journal of Philosophical Logic, 2021Norihiro Kamide
exaly