Showing
1 - 4
results of
4
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - TRUSZCZYSKI, MIROSAW
Search Results - TRUSZCZYSKI, MIROSAW
Showing
1 - 4
results of
4
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs
by
TRUSZCZYSKI, MIROSAW
Published in
Theory and practice of logic programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
2
Loading…
Active integrity constraints and revision programming
by
CAROPRESE, LUCIANO
,
TRUSZCZYŃSKI, MIROSŁAW
Published in
Theory and practice of logic programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
3
Loading…
A Measure of Arbitrariness in Abductive Explanations
by
CAROPRESE, LUCIANO
,
TRUBITSYNA, IRINA
,
Truszczyński, Mirosław
,
Zumpano, Ester
Published in
Theory and practice of logic programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
4
Loading…
Relativized hyperequivalence of logic programs for modular programming
by
TRUSZCZYŃSKI, MIROSŁAW
,
WOLTRAN, STEFAN
Published in
Theory and practice of logic programming
Get full text
Items that this one cites
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
4 results
4
Full Text
4 results
4
Format
Articles
4 results
4
Journal Title
Theory And Practice Of Logic Programming
4 results
4
Subjects
Computer Science
4 results
4
Computer Science, Software Engineering
4 results
4
Computer Science, Theory & Methods
4 results
4
Logic
4 results
4
Regular Papers
4 results
4
Science & Technology
4 results
4
Science & Technology - Other Topics
4 results
4
Technology
4 results
4
Complexity
3 results
3
Logic Programming
3 results
3
Integrity
2 results
2
Semantics
2 results
2
Supported Models
2 results
2
Active Integrity Constraints
1 results
1
Answer Sets
1 results
1
Answer-Set Programming
1 results
1
Complexity Of Reasoning
1 results
1
Constraints
1 results
1
Dichotomies
1 results
1
Formalism
1 results
1
Year of Publication
From:
To:
Source
Cambridge Journals Online
4 results
4
Electronic Journals Library
4 results
4