scientific article; zbMATH DE number 1844518

MaRDI QIDQ4784887zbMATH OpenFDO

Authors Jozef Kratica, Miloš Milovanović, Zoran Ognjanović

Publication date 12 December 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2143/21430805

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Probability and inductive logic (03B48) Logic in artificial intelligence (68T27)

Recommendations

• Artificial Intelligence and Soft Computing - ICAISC 2004
• scientific article; zbMATH DE number 2090049
• scientific article; zbMATH DE number 1875387
• VEGAS -- a new genetic algorithm for satisfiability
• An evolutionary algorithm for theorem proving in propositional logic
• A genetic algorithm for chance constrained programming

Cited in

(8)

• Automated non-monotonic reasoning in System \textbf{P}
• Logics with Probability Operators
• Inductive Logic Programming
• Using a hybrid genetic-algorithm/branch and bound approach to solve feasibility and optimization integer programming problems
• Stochastic Boolean satisfiability
• Stochastic Boolean satisfiability
• Artificial Intelligence and Soft Computing - ICAISC 2004
• VEGAS -- a new genetic algorithm for satisfiability

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4784887)