BibSonomy ::

bookmarks

< >

Theory and practice of logic programming
to sem logic by kurtjx on Aug 12, 2008, 12:18 PM
Hilbert II - Introduction
to tools programming oss O.O reference repository logic by brightbyte on Jul 30, 2008, 10:36 AM
Probability Theory As Extended Logic
to statistics logic maximum research probability entropy papers maximum_entropy bayes 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 java fuzzy logic by flori and 1 other person on Apr 1, 2008, 11:04 PM
Crítica | Guia das Falácias de Stephen Downes
to Guides Falácias Fallacies Logic by catunda on Mar 16, 2008, 9:16 PM
Stephen Downes' Guide to the Logical Fallacies
Stephen Downes' Guide to the Logical Fallacies
to Logic Guides 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 blog logic idee behaviour rollen thin model aop 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 theoretische-informatik truth table logic harvard boolean variables tools by cschenk on Feb 7, 2008, 9:46 PM
Barry Smith, New York State Center of Excellence in Bioinformatics and Life Sciences, Buffalo
to philosophy logic ecs268wq08 Barry_Smith people ontology bioinformatics 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 filosofía logic 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 logik prolog by fsteeg on Nov 25, 2007, 5:53 PM
Inductive Logic Programming
to inductive programming logic by phawk on Oct 22, 2007, 6:07 PM
Stanford Encyclopedia of Philosophy
to research philosophy hub logic dictionary reference 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 rete logic 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 dsl programming language logic drools by juve on Oct 1, 2007, 3:59 PM
Combining Logics (Stanford Encyclopedia of Philosophy)
to meta logic logics philosophy by phawk on Sep 24, 2007, 1:42 AM
Learning, Logic, and Probability: A Unified View.
to probabilistic logic ai srl ki learning by hotho on Aug 31, 2007, 9:41 AM
Alchemy - Open Source AI
to open source software logic markov networks srl learning by hotho on Aug 30, 2007, 11:07 AM

< > bookmarks per page: 5 10 20 50 100

publications

< >

Principles of Model Checking
Christel Baier and Joost-Pieter Katoen The MIT Press, (2008)
to model CTL checking Markov-Chains propositional formal logic LTL model-checker by ist_spl on Jul 28, 2008, 10:35 AM
URL | BibTeX
Model Checking
Edmund M. Clarke Jr. and Orna Grumberg and Doron A. Peled The MIT Press, (1999)
to checking LTL CTL model-checker symbolic temporal model by ist_spl on Jul 21, 2008, 12:42 PM
URL | BibTeX
Spatial and functional differentiation: a symbiotic and systematic relationship
Apiradee Kasemsook London, (2003)
to architecture,design,space,spatial logic by snauth on Jul 13, 2008, 11:15 AM
BibTeX
Logic based programmed structure rewriting systems
Andy Schürr Fundamenta Informaticae26(3 and 4):363--385June1996.
to logic rewriting, graph by pdeleenh and 3 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 evolution, software logic meta refactoring, programming 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 programming, logic object-oriented meta co-evolution, by pdeleenh and 4 other people on Jul 7, 2008, 4:45 PM
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 logic requirements evolution, engineering, software by pdeleenh and 4 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 events syllabus cognition time philosophy logic semantics 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 horn-clauses logic decidability by emanuel and 1 other person on Jun 23, 2008, 6:44 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 logic Strategies programming, Evolution by brazovayeye on Jun 19, 2008, 5:46 PM
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 architectures, programming applications, rule-based fuzzy models, world neurons, computing, genetic real logic by brazovayeye 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 data algorithms, ILP inductive genetic language processing, logic evolutionary natural programming, mining, 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 ILP programming, inductive machine algorithms, sampling, logic learning, genetic evolutionary by brazovayeye and 1 other person on Jun 19, 2008, 5:46 PM
URL | 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 diagnosis networks, genetic Coronary Symbolic systems, connectionist encoding, Cardiac algorithms, disease programming, artery logic Grammar-guided SPECT Neural diagnosis, Cellular by brazovayeye on Jun 19, 2008, 5:46 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 algorithms, Neural networks, Cellular encoding Bankruptcy, logic programming, Grammar-Guided by brazovayeye and 1 other person on Jun 19, 2008, 5:46 PM
BibTeX
Evolutionary Design of Fuzzy Logic Controllers Using Strongly-Typed GP
Enrique Alba and Carlos Cotta and Jose M. Troya Mathware \& Soft Computing6(1):109--124(1999)
to Problem algorithms, Logic Fuzzy Cart-Centering System, genetic Controller, programming, Type by brazovayeye on Jun 19, 2008, 5:35 PM
URL | BibTeX
An Experimental and Comparative Study of Fuzzy PID Controller Structures
Leandro dos Santos Coelho and Antonio Augusto Rodrigues Coelh Advances in Soft Computing - Engineering Design and Manufacturing, 21-30 June1998.
to applications. Control, Experimental Fuzzy process, logic control, Control PID by brazovayeye on Jun 19, 2008, 5:35 PM
URL | BibTeX
Genetic programming and its applications to the synthesis of digital logic
Karen M. Dill and James H. Herzog and Marek A. Perkowski Communications, Computers and Signal Processing, PACRIM 1997, 2, page823--826. Victoria, BC, Canada, 20-22 August1997.
to population CAD, coverage, sizes, equations, circuits, functions, genetic sets, programming, small problem digital applicability, randomly size, test input criterion, logic complete arbitrary training synthesis, designed optimization gates, variables, function expressions, recognition set algorithms, experimental results, by brazovayeye on Jun 19, 2008, 5:35 PM
BibTeX
PWR's Xenon oscillation control through a fuzzy expert system automatically designed by means of genetic programming
Roberto P. Domingos and Gustavo H. F. Caldas and Claudio M. N. A. Pereira and Roberto Schirru Applied Soft Computing3(4):317--323December2003.
to control; Fuzzy programming, algorithms, Axial oscillations logic xenon genetic by brazovayeye and 1 other person on Jun 19, 2008, 5:35 PM
URL | BibTeX
A methodology for reconfigurable hardware design based upon evolutionary computation
Francisco Fernandez de Vega and J. I. Hidalgo and J. Lanchares and J. M. Sanchez Microprocessors and Microsystems28(7):363--371September2004.
to Compact arrays, logic programmable blocks Configurable hardware, Field algorithms, programming, algorithm, genetic reconfigurable gate by brazovayeye on Jun 19, 2008, 5:35 PM
URL | BibTeX

< > publications per page: 5 10 20 50 100

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

BibSonomy :: concept ::

bookmarks

publications