Results 41 to 50 of about 1,546,334 (124)
Knowledge Representation for Lexical Semantics: Is Standard First Order Logic Enough?
, 1994 Marc Light, Lenhart K. Schubert
openalex +2 more sources
Mechanical Translation of I/O Automaton Specifications into First-Order Logic [PDF]
, 2002 Andrej Bogdanov +2 more
openalex +1 more source
BH-CIFOL: Case-Intensional First Order Logic: (II) Branching Histories. [PDF]
J Philos Logic, 2014 Belnap N, Müller T.
europepmc +1 more source
How complex are random graphs in first order logic? [PDF]
, 2004 Jeong Han Kim +3 more
openalex +3 more sources
Eliminating definitions and Skolem functions in first-order logic [PDF]
, 2003 Jeremy Avigad
openalex +1 more source
Local normal forms for first-order logic with applications to games and automata
, 1998 Thomas Schwentick, Klaus Barthelmann
openalex +2 more sources
First-Order Logic with Two Variables and Unary Temporal Logic
, 1997 Kousha Etessami +2 more
openalex +2 more sources
Using first-order logic to reason about policies [PDF]
, 2004 Joseph Y. Halpern, Vicky Weissman
openalex +1 more source
Characterization of the axiomatizable prenex fragments of first-order Godel logics [PDF]
, 2004 Matthias Baaz +2 more
openalex +1 more source