BibSonomy ::

bookmarks

(98)

<< < 1 | 2 | 3 > >>

Theory and practice of logic programming
to sem logic by kurtjx on Aug 12, 2008, 12:18 PM
Hilbert II - Introduction
to O.O oss tools reference programming repository logic by brightbyte on Jul 30, 2008, 10:36 AM
Probability Theory As Extended Logic
to probability entropy bayes research logic maximum_entropy statistics maximum papers by edna_foobar and 1 other person on Jul 29, 2008, 10:29 PM
Fuzzy Logic Tool
some off the best fuzzy logic tools on the market
to logic fuzzy java by flori and 1 other person on Apr 1, 2008, 11:04 PM
Crítica | Guia das Falácias de Stephen Downes
to Logic Guides Fallacies Falácias by catunda on Mar 16, 2008, 9:16 PM
Stephen Downes' Guide to the Logical Fallacies
Stephen Downes' Guide to the Logical Fallacies
to Guides Logic Fallacies by catunda on Mar 16, 2008, 9:15 PM
Logical Fallacies .info
An encyclopedia of logical fallacies; explanations and examples of common errors of reasoning.
to logic filosofía by federico.arias.recabarren on Mar 16, 2008, 4:22 PM
City Life : Weblog
to oo aop blog idee logic thin behaviour rollen model by jil on Mar 11, 2008, 11:24 PM
Truth Table Generator
The program will create a truth table by cycling through all possible states of the variables
to table theoretische-informatik tools truth variables harvard boolean logic by cschenk on Feb 7, 2008, 9:46 PM
Barry Smith, New York State Center of Excellence in Bioinformatics and Life Sciences, Buffalo
to ontology philosophy Barry_Smith logic bioinformatics people ecs268wq08 by ludaesch and 1 other person on Jan 24, 2008, 6:09 PM
Logical Fallacies: The Fallacy Files
Describes and gives examples of logical fallacies from the media and everyday life, applying logic to controversial issues in order to improve critical thi...Describes and gives examples of logical fallacies from the media and everyday life, applying logic to controversial issues in order to improve critical thinking skills.
to logic filosofía by federico.arias.recabarren and 1 other person on Jan 7, 2008, 12:26 PM
Logic for Philosophy
to philosophy logic by phawk on Nov 30, 2007, 3:29 PM
Lullische Kunst - Zeno.org
Grundlage der symbolischen Logik
to logic prolog logik by fsteeg on Nov 25, 2007, 5:53 PM
Inductive Logic Programming
to logic inductive programming by phawk on Oct 22, 2007, 6:07 PM
Stanford Encyclopedia of Philosophy
to hub reference dictionary research philosophy logic by brightbyte and 16 other people on Oct 20, 2007, 10:29 AM
Index of /~dant/papers/
a paper on extending RETE to support temporal logic
to temporal logic rete by fmeyer on Oct 8, 2007, 7:31 PM
jboss.org: community driven
Maybe drools can help me to make an DomXp express what a complex UI should do, how it should behave ?
to rules drools programming logic dsl language by juve on Oct 1, 2007, 3:59 PM
Combining Logics (Stanford Encyclopedia of Philosophy)
to meta philosophy logic logics by phawk on Sep 24, 2007, 1:42 AM
Learning, Logic, and Probability: A Unified View.
to ki probabilistic learning ai srl logic by hotho on Aug 31, 2007, 9:41 AM
Alchemy - Open Source AI
to networks software srl open logic source markov learning by hotho on Aug 30, 2007, 11:07 AM

<< < 1 | 2 | 3 > >>bookmarks per page: 5 10 20 50 100

publications

(276)

<< < 1 | 2 | 3 > >>

Principles of Model Checking
Christel Baier and Joost-Pieter Katoen The MIT Press, (2008)
to logic Markov-Chains checking CTL model-checker formal LTL propositional model by ist_spl on Jul 28, 2008, 10:35 AM
URL | BibTeX
Spatial and functional differentiation: a symbiotic and systematic relationship
Apiradee Kasemsook London, (2003)
to logic architecture,design,space,spatial by snauth on Jul 13, 2008, 11:15 AM
BibTeX
A logical framework for modeling and reasoning about the evolution of requirements
Didar Zowghi and Ray Offen Proc. IEEE Int'l Symp. Requirements Engineering, page247-259. IEEE Press, (1997)
to software engineering, logic evolution, requirements by pdeleenh and 4 other people on Jul 7, 2008, 4:45 PM
BibTeX
A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation
Roel Wuyts Department of Computer Science, Vrije Universiteit Brussel, January2001.
to co-evolution, object-oriented programming, meta logic by pdeleenh and 4 other people on Jul 7, 2008, 4:45 PM
BibTeX
Identifying Refactoring Opportunities Using Logic Meta Programming
Tom Tourw'e and Tom Mens page91--100. IEEE Press, March2003.
to programming refactoring, logic software evolution, meta by pdeleenh and 4 other people on Jul 7, 2008, 4:45 PM
BibTeX
Logic based programmed structure rewriting systems
Andy Schürr Fundamenta Informaticae26(3 and 4):363--385June1996.
to graph rewriting, logic by pdeleenh and 3 other people on Jul 7, 2008, 4:45 PM
BibTeX
The proper treatment of events
M. van Lambalgen and F. Hamm Blackwell Publishing, (2005) Explorations in semantics series, edited by Susan Rothstein, ISBN 1-4051-1213-1, ISBN 1-4051-1212-3 .
to semantics cognition syllabus events logic time philosophy by unhammer on Jul 1, 2008, 3:30 PM
BibTeX
Undecidability of the Horn-clause Implication Problem
J. Marcinkowski and L. Pacholski Proceedings of the 33rd IEEE Annual Symposium on Foundations of Computer Science, page354-362. IEEE, (1992)
to logic horn-clauses decidability by emanuel and 1 other person on Jun 23, 2008, 6:44 PM
URL | BibTeX
Bankruptcy prediction with neural logic networks by means of grammar-guided genetic programming
Athanasios Tsakonas and George Dounias and Michael Doumpos and Constantin Zopounidis Expert Systems With Applications30(3):449--461April2006. Intelligent Information Systems for Financial Engineering .
to genetic networks, Cellular programming, algorithms, logic Neural encoding Grammar-Guided Bankruptcy, by brazovayeye and 1 other person on Jun 19, 2008, 5:46 PM
BibTeX
An evolutionary system for neural logic networks using genetic programming and indirect encoding
Athanasios Tsakonas and Vasilios Aggelis and Ioannis Karkazis and Georgios Dounias Journal of Applied Logic2(3):349--379(2004)
to Coronary genetic connectionist systems, diagnosis, algorithms, networks, Cardiac Symbolic Grammar-guided artery diagnosis Neural encoding, programming, logic SPECT Cellular disease by brazovayeye on Jun 19, 2008, 5:46 PM
URL | BibTeX
Scaling Up Inductive Logic Programming: An Evolutionary Wrapper Approach
Philip G. K. Reiser and Patricia J. Riddle Applied Intelligence15(3):181--197November-December2001. Special Issue: Simulated Evolution and Learning .
to inductive algorithms, machine evolutionary genetic ILP sampling, programming, logic learning, by brazovayeye and 1 other person on Jun 19, 2008, 5:46 PM
URL | BibTeX
Evolution of Logic Programs: Part-of-Speech Tagging
Philip G. K. Reiser and Patricia J. Riddle Proceedings of the Congress on Evolutionary Computation, 2, page1338--1346. Mayflower Hotel, Washington D.C., USA, IEEE Press, 6-9 July1999.
to programming, language data mining, genetic evolutionary processing, natural logic algorithms, inductive ILP by brazovayeye on Jun 19, 2008, 5:46 PM
URL | BibTeX
Evolutionary Optimization of Logic-Oriented Systems
Witold Pedrycz and Marek Reformat Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), page1389--1396. San Francisco, California, USA, Morgan Kaufmann, 7-11 July2001.
to fuzzy computing, architectures, models, neurons, genetic real world programming logic applications, rule-based by brazovayeye on Jun 19, 2008, 5:46 PM
URL | BibTeX
Evolution Strategies to Improve Abstract Interpretation Algorithms for Logic Programming
Kaninda Musumbu and Kablan Barbar and Maroun Nassif Late Breaking Papers at the 1997 Genetic Programming Conference, Stanford University, CA, USA, Stanford Bookstore, 13--16 July1997.
to Strategies Evolution programming, logic by brazovayeye on Jun 19, 2008, 5:46 PM
BibTeX
Adaptive strategies for a semantically driven tree optimizer to control code growth
Bart Wyns and Luc Boullart GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, 2, page1762--1762. London, ACM Press, 7-11 July2007.
to Boolean programming: problems, logic fuzzy artificial algorithms, ant, genetic control, adaptive Poster, by brazovayeye and 1 other person on Jun 19, 2008, 5:35 PM
URL | BibTeX
Evolving Recursive Programs by Using Adaptive Grammar Based Genetic Programming
Man Leung Wong Genetic Programming and Evolvable Machines6(4):421--455December2005.
to genetic algorithms, programming, logic based grammar recursive programs grammars, by brazovayeye on Jun 19, 2008, 5:35 PM
URL | BibTeX
A Flexible Knowledge Discovery System using Genetic Programming and Logic Grammars
Man Leung Wong Decision Support Systems(2001)
to Logic Databases, programming, in Fuzzy Grammars, Knowledge algorithms, Discovery Nets Petri genetic by brazovayeye and 1 other person on Jun 19, 2008, 5:35 PM
URL | BibTeX
Evolutionary Program Induction Directed by Logic Grammars
Man Leung Wong and Kwong Sak Leung Evolutionary Computation5(2):143--180summer1997.
to genetic logic Machine programming, algorithms, grammars learning, by brazovayeye and 2 other people on Jun 19, 2008, 5:35 PM
URL | BibTeX
Digital Circuit Evolution and Fitness Landscapes
Vesselin K. Vassilev and Julian F. Miller and Terence C. Fogarty Proceedings of the Congress on Evolutionary Computation, 2, Mayflower Hotel, Washington D.C., USA, IEEE Press, 6-9 July1999.
to field-programmable connectivity, combinatorial fitness characteristics, model, evolution, functionality, digital alphabets, logic optimisation genotype optimisation, evolutionary field landscapes, sequences sequences, problems, gate search, array, representation, arrays, engineering circuit cell idealised problem, correlation computation, circuits, programmable by brazovayeye on Jun 19, 2008, 5:35 PM
BibTeX
Genetic Inductive Logic Programming
Amund Tveit (1997)
to algorithms, inductive genetic ILP programming, logic by brazovayeye on Jun 19, 2008, 5:35 PM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

tags · relations · groups · popular	help · blog · about
username: password:	login · register

BibSonomy :: tag :: order by ( date | folkrank )

bookmarks

publications

BibSonomy :: tag ::
order by ( date | folkrank )