Modal

Results: 2914



#Item
721Logic programming / Artificial intelligence / Situation calculus / Epistemic modal logic / Modal logic / Function / Common knowledge / Symbol / Frame problem / Logic / Mathematical logic / Mathematics

Complex Epistemic Modalities in the Situation Calculus

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Language: English - Date: 2009-01-04 08:03:51
722Logic / JACK Intelligent Agents / Reactive planning / Modal logic / 3APL / Belief–desire–intention model / Multi-agent systems / Artificial intelligence / Computing

Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia

Add to Reading List

Source URL: crpit.com

Language: English - Date: 2012-01-19 01:28:18
723Boolean algebra / Logical syntax / Formal languages / Well-formed formula / Logical connective / Propositional calculus / FO / Modal depth / Propositional formula / Logic / Mathematical logic / Modal logic

/home/lwb/beta/doc/ref/ref_lwb2.dvi

Add to Reading List

Source URL: www.lwb.unibe.ch

Language: English - Date: 2010-05-10 07:17:13
724Modal verb / Auxiliary verb / Evaluation

English Corner Summarizing and concluding in reports Dr. Mable Chan is a lecturer at the Department of English, The Hong Kong Polytechnic University. She was awarded the Faculty Award for Outstanding Teaching in the 200

Add to Reading List

Source URL: www.hkiaat.org

Language: English - Date: 2011-12-27 12:34:55
725Model theory / Propositional calculus / Deduction / Resolution / First-order logic / Interpretation / Inference / Deduction theorem / Modal logic / Logic / Mathematical logic / Automated theorem proving

Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-05-25 01:09:25
726Automobile / Public transport / Technology / Sustainable transport / Mobility / Energy consumption

On the Way to a Multi-Modal Energy-Efficient Route Matthias Prandtstetter AIT Austrian Institute of Technology Mobility Department

Add to Reading List

Source URL: www.energieinformatik2013.at

Language: English - Date: 2013-11-14 06:14:21
727SmartWay Transport Partnership / United States Environmental Protection Agency / Benchmarking

SmartWay Transport Partnership: Shipper Tool System Activities & Modal Shift Tabs - Presentation (November 19, 2014)

Add to Reading List

Source URL: www.epa.gov

Language: English - Date: 2015-04-30 07:51:35
728Lyocell / Lenzing / Modal / Nonwoven fabric / Textile / Lenzing AG / Cellulose / Synthetic fibers / Chemistry

Microsoft PowerPoint - Lenzing Planet Textiles HK Mar 10

Add to Reading List

Source URL: www.planet-textiles.com

Language: English - Date: 2012-12-06 17:03:00
729Knowledge / Multi-agent systems / Artificial intelligence / Reasoning / Logic programming / Situation calculus / Common knowledge / Intelligent agent / Modal logic / Science / Logic / Scientific modeling

ASYNCHRONOUS MULTI-AGENT REASONING IN THE SITUATION CALCULUS Ryan Francis Kelly

Add to Reading List

Source URL: people.eng.unimelb.edu.au

Language: English - Date: 2009-03-12 20:13:19
730Science / Academia / Jacques Rancière / Modal logic / Michel Foucault / Aesthetics / Logic / Protest / Post-politics / Philosophy / Axiology / Branches of philosophy

OCCUPYING SPACE: THE BATTLE FOR POLITICS1 Helena Chávez Mac Gregor2 Instituto de Investigaciones Estéticas, Universidad Nacional Autónoma de México Helena Chavez Mac Gregor reads recent modes

Add to Reading List

Source URL: jwtc.org.za

Language: English - Date: 2014-08-27 03:43:39
UPDATE