Fluent

Results: 227



#Item
81European Regional Development Fund / Baltic Sea Region Programme / North Sea Region Programme / European Union / Interreg / Europe

Vacancy Announcement (Call open until 19 MayCommunication Officer (m/f) at the Joint Secretariat of the EU programme Interreg Baltic Sea Region You are good at writing attention-grabbing articles in fluent English

Add to Reading List

Source URL: www.interreg-baltic.eu

Language: English - Date: 2015-04-21 03:56:14
82Key Skills Qualification / Résumé / Experience / Philosophy of mind / Knowledge / Recruitment / Employment / Mind

RESUME FORMAT NAME Contact details Provide contact details only; other personal information such as age, marital status not required. Option: Languages – list languages in which you are fluent; if only basic or beginne

Add to Reading List

Source URL: careers.unimelb.edu.au

Language: English - Date: 2015-04-16 00:17:38
83Automated planning and scheduling / Planning Domain Definition Language / Logic in computer science / Semantics / Boolean algebra / Fluent / Bernoulli distribution / FO / Function / Mathematics / Mathematical logic / Theoretical computer science

Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner () NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i

Add to Reading List

Source URL: rddlsim.googlecode.com

Language: English - Date: 2014-10-06 22:18:15
84Mathematical logic / Formal languages / Knowledge representation / Epistemology / Model theory / Literal / Interpretation / Term algebra / Fluent / Logic / Logic programming / Mathematics

Transaction Logic with Defaults and Argumentation Theories ∗ Paul Fodor and Michael Kifer Stony Brook University Stony Brook, NY 11794, USA pfodor,

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2011-05-19 13:21:42
85Logic in computer science / Software engineering / Constraint programming / Fluent / Computer programming / Automated planning and scheduling / Artificial intelligence / Planning Domain Definition Language

Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae | davise }@cs.nyu.edu

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2006-05-25 12:15:43
86Logic programming / Metalogic / Knowledge representation / Logic in computer science / Situation calculus / Frame problem / Interpretation / Fluent / Constructible universe / Mathematical logic / Logic / Model theory

Transforming Situation Calculus Action Theories for Optimised Reasoning Christopher Ewin Adrian R. Pearce Stavros Vassos

Add to Reading List

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

Language: English - Date: 2014-03-04 23:18:30
87Social bookmarking / Money / Micro-donations / Translation / Activism / Economics / Peter Sunde / Micropayment / Payment systems / Flattr

Why Flattr may not become a « star system » Article original en Français (originally written in French) I am not fluent in English, so excuse my faults and mistakes! I really love Flattr. I find this is a great system

Add to Reading List

Source URL: www.antredugreg.be

Language: English - Date: 2015-05-03 15:15:09
88Fluent / Function / Mathematics / Logic in computer science / Functions and mappings

PDF Document

Add to Reading List

Source URL: derekbeaulieu.files.wordpress.com

Language: English - Date: 2013-12-12 16:56:43
89Formal languages / Model theory / Logic in computer science / Functions and mappings / Interpretation / Well-formed formula / Fluent / Term algebra / Function / Logic / Mathematics / Mathematical logic

Transaction Logic with Defaults and Argumentation Theories? Paul Fodor and Michael Kifer State University of New York at Stony Brook, USA Abstract. Transaction Logic (abbr., T R) [9,12] is a logic that gracefully integr

Add to Reading List

Source URL: silk.semwebcentral.org

Language: English - Date: 2011-05-19 13:22:04
90Fluent / Constraint programming / Algebra / FO / Variable / Distributed constraint optimization / Mathematics / Theoretical computer science / Logic in computer science

Fluent Merging: A General Technique to Improve Reachability Heuristics and Factored Planning Menkes van den Briel Subbarao Kambhampati

Add to Reading List

Source URL: www.menkes76.com

Language: English - Date: 2012-10-29 18:19:38
UPDATE