Listing 1 - 10 of 46 | << page >> |
Sort by
|
Choose an application
Artificial intelligence. --- Reasoning --- Intelligence artificielle --- Raisonnement
Choose an application
Judgment (Logic) --- Reasoning --- Science --- Judgment --- Science --- Philosophy
Choose an application
Rhetoric --- Logic --- Persuasion (Rhetoric) --- Oral communication --- Debates and debating --- Reasoning --- Raisonnement --- Débats et controverses --- Argumentation
Choose an application
Law --- Droit --- Philosophy --- Methodology --- Philosophie --- Méthodologie --- Méthodologie --- Anglo-American law --- Law, Anglo-American --- Legal reasoning --- Jurisprudence
Choose an application
Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logic.
Choose an application
Logic --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Logic.
Choose an application
Automatic theorem proving --- -681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory --- Congresses --- 681.3*I23 --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Informatique
Choose an application
This book shows that in reading verbal texts human reasoning is responsible for the recognition and construction of different forms of organization. On the one hand, it spells out in what ways human thinking succeeds in recognizing the surface form of grammatical organization which is characteristic of discourse expression (termed 'cohesion'). On the other hand, it makes clear which human reasoning processes are involved in the construction of the different levels of organization which are characteristic of text content (termed 'coherence'). Much attention is devoted to the hierarchical relati
Discourse analysis. --- Inference. --- Ampliative induction --- Induction, Ampliative --- Inference (Logic) --- Reasoning --- Discourse grammar --- Text grammar --- Semantics --- Semiotics --- Discourse analysis --- Inference --- Analyse du discours --- Inférence (Logique)
Choose an application
681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Artificial intelligence. Robotics. Simulation. Graphics --- Mathematical logic --- Artificial intelligence. --- Logic, Symbolic and mathematical.
Choose an application
Legal theory and methods. Philosophy of law --- Hegel, Georg W.F. --- Law --- Philosophy --- Methodology --- Hegel, Georg Wilhelm Friedrich, --- Jurisprudence --- Legal reasoning --- Law - Philosophy --- Law - Methodology --- Hegel, Georg Wilhelm Friedrich, - 1770-1831 - Grundlinien der Philosophie des Rechts
Listing 1 - 10 of 46 | << page >> |
Sort by
|