検索結果 237 件
紙図書
国立国会図書館
- 要約等...he book covers logic-based methods, while the seco...
- 内容細目... Propositional Logic 3. First-Order Logic 3.1. Basics of First-Order Logic 3.1.1. Syntax ....... Validity and Logical Implication ......dus Ponens for First-Order Logic 3.2. Artificial Intelligence ...
デジタル記事
インターネットで読める全国の図書館
- 要約等... the discrete, logical predicates c......ds, we propose First-Order State AutoEnco...... grounding the first-order logic predicates. Ea......本論文はこの2つを組み合わせ、First-Order SAE (FOSAE) という、オブジェクトの連続値特徴ベ...
- 並列タイトル等(連結)Unsupervised Grounding of Plannable First-Order Logic Representation from Images
- 並列タイトル等Unsupervised Grounding of Plannable First-Order Logic Representation from Images
紙図書
国立国会図書館全国の図書館
- 内容細目Introduction to hybrid logic. Informal moti......igin of hybrid logic in prior's wor......itional hybrid logic. The basics of......itional hybrid logic ; The basics o......itional hybrid logic ; Axiom system......itional hybrid logic Tableaus and d......res for hybrid logic. The basics of......s for a hybrid logic. The natural d......s ; Discussion First-order hybrid logic. Introduction to first-order hybrid logic ; Natural deduction for first-order hybrid logic ; Axiom systems for first-order hybrid logic Intentional first-order hybrid logic. Introduction to intensional first-order hybrid logic ; Natural deduction for inten...
- 件名Proof theory. Logic, Symbolic and mathematical.
- 関連情報Applied logic series
紙記事
国立国会図書館全国の図書館
- 件名Qualitative fuzzy set Qualitative fuzzy first-order logic Resolution method
紙図書
国立国会図書館
- 内容細目....] Combining a logical and a numeri......ic description logic programs for t.......] Intensional first-order logic for P2P database systems / Zo...
紙記事
国立国会図書館全国の図書館
- 件名Abduction Logic-based reasoning Online learni...
紙図書
全国の図書館
- 件名First-order logic
- 件名(識別子)First-order logic
- 関連情報Oxford science publications Oxford logic guides
紙図書
全国の図書館
- 件名Logic, Symbolic and mathematical
- 件名(識別子)Logic, Symbolic and mathematical
記録メディア記事
国立国会図書館全国の図書館
紙図書
国立国会図書館全国の図書館
- 内容細目...relational and first-order logical Markov decis......hoek 16. Psychological and neuroscientific connect...
紙記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)The characteristics of first-order logic
- 並列タイトル等The characteristics of first-order logic
デジタル記事
全国の図書館
- 件名Logic
- 参照...terpolation in logics with construc......l semantics in logics with construc......antified modal logic Categoricity w......Foundations of logic programming in hybrid logics with user-def......gether Dynamic logic Hybrid logics: characteriza......natory dynamic logic Forcing and Ca......uli for Hybrid Logics Omitting unco...... of Elementary logic Constructor-ba...... observational logic A propositional modal logic of time interv......uli for hybrid logics On <i>ω</i>-c......ures: a hybrid logic manifesto THE ...... Institutional Logic Completeness b......terpolation in logics with construc......titutions into first-order logic A generalization of the...
記録メディア記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)Approximate Model Checking for a Subset of First-Order Logic
- 並列タイトル等Approximate Model Checking for a Subset of First-Order Logic
紙記事
国立国会図書館全国の図書館
- 並列タイトル等(連結)Approximate model checking for a subset of first-order logic
- 並列タイトル等Approximate model checking for a subset of first-order logic
紙記事
国立国会図書館
- 並列タイトル等(連結)Approximate model checking for a subset of first-order logic
- 並列タイトル等Approximate model checking for a subset of first-order logic