F-logic

Results: 483



#Item
21An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2010-05-19 04:29:26
22I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR

I N F S Y S RESEARCH R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR

Add to Reading List

Source URL: www.kr.tuwien.ac.at

Language: English - Date: 2003-04-22 21:23:23
23LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103

LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103

Add to Reading List

Source URL: precedings.nature.com

Language: English
24DIGITAL IC-PROJECT, LTH, SWEDEN, MAYA hardware implementation of an MP3 decoder Irina F¨altman, Marcus Hast, Andreas Lundgren, Suleyman Malki, Erik Montnemery, Anders R˚angevall,

DIGITAL IC-PROJECT, LTH, SWEDEN, MAYA hardware implementation of an MP3 decoder Irina F¨altman, Marcus Hast, Andreas Lundgren, Suleyman Malki, Erik Montnemery, Anders R˚angevall,

Add to Reading List

Source URL: www.mp3-tech.org

Language: English - Date: 2009-06-28 10:47:16
25OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov

OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2015-02-05 09:51:07
26The Emergence of Organizations and Markets edited by John F. Padgett and Walter W. Powell The Emergence of Organizations and Markets by John F. Padgett; Walter W. Powell Review by: James N. Baron American Journal of Soci

The Emergence of Organizations and Markets edited by John F. Padgett and Walter W. Powell The Emergence of Organizations and Markets by John F. Padgett; Walter W. Powell Review by: James N. Baron American Journal of Soci

Add to Reading List

Source URL: woodypowell.com

Language: English - Date: 2014-05-13 13:04:12
27Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS

Adding Storage Simulation Capacities to the SimGrid Toolkit A. Lebre, A. Legrand, F. Suter, P. Veyre Inria, Ecole des Mines de Nantes/LINA CNRS/INRIA/University of Grenoble IN2P3 Computing Center, CNRS

Add to Reading List

Source URL: simgrid.gforge.inria.fr

Language: English - Date: 2015-09-29 06:27:30
28Scott F. Aikin, Ph.D. Curriculum Vitae (SummerAssistant Professor of Philosophy, Vanderbilt University AOS: Epistemology, Pragmatism, Ancient Philosophy AOC: Argumentation Theory, Philosophy of Religion

Scott F. Aikin, Ph.D. Curriculum Vitae (SummerAssistant Professor of Philosophy, Vanderbilt University AOS: Epistemology, Pragmatism, Ancient Philosophy AOC: Argumentation Theory, Philosophy of Religion

Add to Reading List

Source URL: as.vanderbilt.edu

Language: English - Date: 2016-06-07 16:19:29
29Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go

Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2011-01-12 07:22:28
30Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries

Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries

Add to Reading List

Source URL: www.edsko.net

Language: English - Date: 2016-08-02 06:27:04