A linear and discrete programming framework for representing qualitative knowledge
From MaRDI portal
Publication:1309850
DOI10.1016/0165-1889(94)90079-5zbMath0782.90103OpenAlexW1995526201MaRDI QIDQ1309850
Gautam Mitra, Eleni Hadjiconstantinou
Publication date: 28 February 1994
Published in: Journal of Economic Dynamics \& Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0165-1889(94)90079-5
Applications of mathematical programming (90C90) Integer programming (90C10) Mixed integer programming (90C11) Other applications of logic (03B80)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Compact normal forms in propositional logic and integer programming formulations
- Constructing integer programming models by the predicate calculus
- Resolution vs. cutting plane solution of inference problems: Some computational experience
- A language and a program for stating and solving combinatorial problems
- LP modeling languages for personal computers: A comparison
- A Way to Simplify Truth Functions
- Maximizing Submodular Set Functions: Formulations and Analysis of Algorithms
- Analysis of mathematical programming problems prior to applying the simplex algorithm
- The Semantics of Predicate Logic as a Programming Language
- Media Selection and Fuzzy Linear Programming
- Solving Airline Crew Scheduling Problems by Branch-and-Cut
- A Machine-Oriented Logic Based on the Resolution Principle
- Introduction to Mathematical Logic (PMS-13)