Olivier Gasquet

34 papers A* 1A 3B 3C 2Misc 1Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Log. J. IGPL
Olivier Gasquet
2025 J jnl
CoRR
Philippe Balbiani, Olivier Gasquet
2025 J jnl
CoRR
Philippe Balbiani, Olivier Gasquet
2025 J jnl
CoRR
Olivier Gasquet
2020 A* conf
IJCAI
Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
2018 J jnl
Inteligencia Artif.
Olivier Gasquet, Dominique Longin, Frederic Maris, Pierre Régnier, Maël Valais
2016 J jnl
Auton. Agents Multi Agent Syst.
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2015 J jnl
CoRR
Khaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frederic Maris, Maël Valais
2014 A conf
AAMAS
Olivier Gasquet, Valentin Goranko, François Schwarzentruber
2014 book
Olivier Gasquet, Andreas Herzig, Bilal Said, François Schwarzentruber
2013 J jnl
Log. J. IGPL
Philippe Balbiani, Olivier Gasquet, François Schwarzentruber
2011 conf
TICTTL
Olivier Gasquet, François Schwarzentruber
2011 conf
TICTTL
Olivier Gasquet, François Schwarzentruber, Martin Strecker
2011 conf
TICTTL
Olivier Gasquet, François Schwarzentruber, Martin Strecker
2010 A conf
AAMAS
Olivier Gasquet, François Schwarzentruber
2007 B conf
TABLEAUX
Olivier Gasquet, Bilal Said
2006 J jnl
Fundam. Informaticae
Olivier Gasquet
2006 B conf
Advances in Modal Logic
Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2005 B conf
TABLEAUX
Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade
2005 conf
We Will Show Them! (1)
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
2002 J jnl
Log. J. IGPL
Luis Fariñas del Cerro, Olivier Gasquet
2002 Misc conf
FLAIRS
Karine Duvignau, Olivier Gasquet, Bruno Gaume, Marie-Dominique Gineste
2002 J jnl
J. Exp. Theor. Artif. Intell.
Bruno Gaume, Karine Duvignau, Olivier Gasquet, Marie-Dominique Gineste
2001 A conf
IJCAR
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
1999 J jnl
J. Log. Comput.
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1999 J jnl
Fundam. Informaticae
Luis Fariñas del Cerro, Olivier Gasquet
1998 conf
RelMiCS
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1998 J jnl
Math. Log. Q.
Olivier Gasquet
1997 conf
ECP
Marcos A. Castilho, Olivier Gasquet, Andreas Herzig
1997 J jnl
Fundam. Informaticae
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
1996 J jnl
Log. J. IGPL
Olivier Gasquet
1995 J jnl
Fundam. Informaticae
Olivier Gasquet
1994 C conf
IPMU
Olivier Gasquet, Andreas Herzig
1993 C conf
ECSQARU
Olivier Gasquet, Andreas Herzig
s3-storage/s3_test.py
← Index s3-storage/s3_test.py python
#!/usr/bin/env python3
"""
Simple script to test S3 connectivity and download.
Usage: python s3_test.py
"""

import os
import time
import tempfile
from minio import Minio
from minio.error import S3Error
from dotenv import load_dotenv

# Load environment variables
load_dotenv()

def get_minio_client():
    """Create and return a Minio client using credentials from .env file"""
    endpoint = os.getenv("S3_ENDPOINT")
    access_key = os.getenv("S3_ACCESS_KEY")
    secret_key = os.getenv("S3_SECRET_KEY")
    secure = True 
    
    print(f"Connecting to S3 endpoint: {endpoint} (secure={secure})")
    
    return Minio(
        endpoint=endpoint,
        access_key=access_key,
        secret_key=secret_key,
        secure=secure
    )

def test_connection():
    """Test basic connectivity to S3"""
    try:
        client = get_minio_client()
        
        # Try to list buckets as a basic connectivity test
        buckets = client.list_buckets()
        print(f"Successfully connected to S3. Found {len(buckets)} buckets:")
        for bucket in buckets:
            print(f"  - {bucket.name}")
        
        return client
    except Exception as e:
        print(f"Failed to connect to S3: {e}")
        return None

def test_bucket_access(client, bucket_name):
    """Test access to a specific bucket"""
    try:
        exists = client.bucket_exists(bucket_name)
        if exists:
            print(f"Bucket '{bucket_name}' exists and is accessible")
            
            # List a few objects to verify access
            count = 0
            objects = []
            for obj in client.list_objects(bucket_name, recursive=True):
                print(f"  - {obj.object_name} ({obj.size} bytes)")
                objects.append(obj)
                count += 1
                if count >= 5:
                    break
            
            print(f"Found at least {len(objects)} objects in bucket")
            return objects
        else:
            print(f"Bucket '{bucket_name}' does not exist or is not accessible")
            return []
    except Exception as e:
        print(f"Error accessing bucket '{bucket_name}': {e}")
        return []

def test_download(client, bucket_name, object_name):
    """Test downloading a specific object"""
    try:
        print(f"Attempting to download: {object_name}")
        start_time = time.time()
        
        # Create a temporary file to store the downloaded object
        with tempfile.NamedTemporaryFile(delete=False) as temp_file:
            temp_path = temp_file.name
        
        # Download the object
        client.fget_object(bucket_name, object_name, temp_path)
        
        # Check if the file was downloaded successfully
        file_size = os.path.getsize(temp_path)
        elapsed_time = time.time() - start_time
        
        print(f"Download successful: {file_size} bytes in {elapsed_time:.2f} seconds")
        print(f"Average download speed: {file_size/elapsed_time/1024:.2f} KB/s")
        
        # Clean up
        os.unlink(temp_path)
        return True
    except S3Error as e:
        print(f"S3 Error during download: {e}")
        return False
    except Exception as e:
        print(f"Error downloading object: {e}")
        return False

def main():
    """Main function to run all tests"""
    print("=== S3 Connectivity Test ===")
    
    # Test basic connectivity
    client = test_connection()
    if not client:
        return
    
    # Get bucket name from environment variable
    bucket_name = "redb"
    print(f"\n=== Testing Access to Bucket: {bucket_name} ===")
    objects = test_bucket_access(client, bucket_name)
    
    if objects:
        # Test downloading the first object
        first_object = objects[0].object_name
        print(f"\n=== Testing Download of Object: {first_object} ===")
        test_download(client, bucket_name, first_object)
        
        # If the first one worked, let's try a specific file from the error log
        print(f"\n=== Testing Download of Specific Object ===")
        specific_object = "00/06/00062073114defac39cb7ab9cb99a0b77c535a09a241c60d47ddd0b6431629f1.zip"
        test_download(client, bucket_name, specific_object)

if __name__ == "__main__":
    main()