The following pages link to Luís Moniz Pereira (Q421475):
Displaying 12 items.
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- Methodological naturalism and epistemic internalism (Q935031) (← links)
- (Q1101253) (redirect page) (← links)
- Automated reasoning in geometry theorem proving with Prolog (Q1101254) (← links)
- Adding closed world assumptions to well-founded semantics (Q1314417) (← links)
- Representing and reasoning about concurrent actions with abductive logic programs (Q1376091) (← links)
- `Classical' negation in nonmonotonic reasoning and logic programming (Q1382156) (← links)
- Strategies in combined learning via logic programs (Q1572782) (← links)
- LUPS -- A language for updating logic programs (Q1603734) (← links)
- Turing is among us (Q4902306) (← links)
- Progress in Artificial Intelligence (Q5191569) (← links)
- Progress in Artificial Intelligence (Q5191570) (← links)
