F-logic - PDFSEARCH.IO - Document Search Engine

F-logic
Results: 483

#	Item
321	F:/ANDRE/PROJECTS/Monteiro/JMLFI/KKLM v5.dvi Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2013-05-22 03:34:55 Deduction Entailment Logical consequence Metalogic Maximum likelihood Credit risk Economic model Logic Estimation theory M-estimators
322	Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:07:08 Non-classical logic Science Knowledge representation Model theory Artificial intelligence Frame problem Situation calculus Circumscription Modal logic Logic Mathematical logic Logic programming
323	Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 08:44:44 Deduction Entailment 3APL Logic Multi-agent systems 2APL
324	F:/ANDRE/PROJECTS/Monteiro/JMLFI/KKLM v5.dvi Add to Reading List Source URL: www.econstor.eu Language: English - Date: 2013-05-22 03:34:55 Deduction Entailment Logical consequence Metalogic Maximum likelihood Credit risk Economic model Logic Estimation theory M-estimators
325	EUJAP  VOL. 4  No. 1  2008 Original scientific paper UDk: 17.02 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:18 Analytic philosophers Philosophy of mind Causality P. F. Strawson Attitude Galen Strawson Reason Free will Rationality Philosophy Epistemologists Philosophical logic
326	Organon F[removed]Guest Editor: Martin Vacek Contents  Obsah M. Vacek: Editorial [in English] ....................................................................... 423 Add to Reading List Source URL: www.klemens.sav.sk Language: English - Date: 2014-10-25 11:43:29 Possibility Modal logic Ontology Branches of philosophy Analytic philosophy Modal realism Possible world On the Plurality of Worlds Philosophical realism Logic Mathematical logic Philosophy
327	EuJAP \| VOL. 7 \| No. 2 \| 2011 ORIGINAL SCIENTIFIC PAPER UDK: [removed]ACTS OF REQUESTING IN DYNAMIC LOGIC OF Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:26 Deontic logic Epistemic modal logic Modal operator Linguistic modality F Accessibility relation Modal logic Logic Mathematics
328	Cuban Missile Crisis Name __________________________________ Overview from JFK Library http://www.jfklibrary.org/JFK/JFK-in-History/Cuban-Missile-Crisis.aspx Add to Reading List Source URL: imageserv11.team-logic.com Language: English - Date: 2014-11-14 11:48:09 Aviation in New York City Films JFK Cuban Missile Crisis New York City John F. Kennedy International Airport John F. Kennedy Adjective United States Cuba–United States relations Presidency of John F. Kennedy
329	R E V O L U T I O N I Z I N G N O N - V O L AT I L E I N T E G R AT I O N M A X 1 0 F P G A s – R E V O L U T I O N I Z I N G N O N - V O L AT I L E I N T E G R AT I O N Family Overview Altera’s MAX® 10 FPGAs revo Add to Reading List Source URL: www.altera.com Language: English Nios II Altera Electronics Complex programmable logic device Soft microprocessor Actel SiliconBlue Technologies Electronic engineering Fabless semiconductor companies Field-programmable gate array
330	Fully Parallel Inference in Markov Logic Networks Kaustubh Beedkar, Luciano Del Corro, Rainer Gemulla Max-Planck-Institut f¨ ur Informatik[removed]Saarbr¨ ucken Add to Reading List Source URL: dws.informatik.uni-mannheim.de Language: English - Date: 2014-09-29 11:40:17 Graph theory Artificial intelligence Theoretical computer science Markov networks Probability theory Markov logic network Markov random field Importance sampling Belief propagation Statistics Graphical models Mathematics

UPDATE